48,019 followers
2,188 followers
RT @kaixhin: Really enjoyed reading the position paper "A Promising Path Towards Autoformalization and General Artificial Intelligence": ht…
497 followers
RT @kaixhin: Really enjoyed reading the position paper "A Promising Path Towards Autoformalization and General Artificial Intelligence": ht…
353 followers
RT @kaixhin: Really enjoyed reading the position paper "A Promising Path Towards Autoformalization and General Artificial Intelligence": ht…