46,424 followers
3 followers
@xldenis and they're not alone: https://t.co/NBa5MP3X8d
2,270 followers
@graydon_pub Check out the abstract! https://t.co/mGPlZz5dEM
2,188 followers
RT @kaixhin: Really enjoyed reading the position paper "A Promising Path Towards Autoformalization and General Artificial Intelligence": ht…