@misc{indiciae30fe5e41991a,
  title = {ATLAS: Autoformalizing Theorems through Lifting, Augmentation, and Synthesis of Data},
  author = {Xiaoyang Liu and Kangjie Bao and Jiashuo Zhang and Yunqi Liu and Yu Chen and Yuntian Liu and Yang Jiao and Tao Luo},
  year = {2025},
  url = {https://arxiv.org/abs/2502.05567},
  note = {Source identifier: 2502.05567}
}