ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data. - Xiaoyang Liu; Kangjie Bao; Jiashuo Zhang; Yunqi Liu; Yu Chen; Yuntian Liu; Yang Jiao; Tao Luo (CoRR, 2025)

Generalized Tree Edit Distance (GTED): A Faithful Evaluation Metric for Statement Autoformalization. - Yuntian Liu; Tao Zhu; Xiaoyang Liu; Yu Chen; Zhaoxuan Liu; Qingfeng Guo; Jiashuo Zhang; Kangjie Bao; Tao Luo (CoRR, 2025)