[NeurIPS 2025] ATLAS
đź“ťOfficial model and dataset for the paper:
ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
Xiaoyang Liu
XiaoyangLiu-sjtu
·
AI & ML interests
AI4Math, Lean
Organizations
