ATLAS [NeurIPS 2025] ATLAS 📝Official model and dataset for the paper: ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data XiaoyangLiu-sjtu/ATLAS_dataset Viewer • Updated Sep 26, 2025 • 234k • 7 XiaoyangLiu-sjtu/ATLAS_Translator_D 7B • Updated Sep 27, 2025 • 4 XiaoyangLiu-sjtu/ATLAS_Translator_Q 8B • Updated Sep 27, 2025 • 7 XiaoyangLiu-sjtu/ATLAS_Translator_L 8B • Updated Sep 27, 2025
ATLAS [NeurIPS 2025] ATLAS 📝Official model and dataset for the paper: ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data XiaoyangLiu-sjtu/ATLAS_dataset Viewer • Updated Sep 26, 2025 • 234k • 7 XiaoyangLiu-sjtu/ATLAS_Translator_D 7B • Updated Sep 27, 2025 • 4 XiaoyangLiu-sjtu/ATLAS_Translator_Q 8B • Updated Sep 27, 2025 • 7 XiaoyangLiu-sjtu/ATLAS_Translator_L 8B • Updated Sep 27, 2025
