TY  - RPRT
TI  - ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data
AU  - Xiaoyang Liu
AU  - Kangjie Bao
AU  - Jiashuo Zhang
AU  - Yunqi Liu
AU  - Yu Chen
AU  - Yuntian Liu
AU  - Yang Jiao
AU  - Tao Luo
PY  - 2025
UR  - https://arxiv.org/abs/2502.05567
ID  - 2502.05567
ER  -