ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data - Liu, Xiaoyang; Bao, Kangjie; Zhang, Jiashuo; Liu, Yunqi; Chen, Yu; Liu, Yuntian; Jiao, Yang; Luo, Tao (Advances in Neural Information Processing Systems, 2025)