TY  - RPRT
TI  - LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation
AU  - Junyu Lai
AU  - Jiakun Zhang
AU  - Shuo Xu
AU  - Taolue Chen
AU  - Zihang Wang
AU  - Yao Yang
AU  - Jiarui Zhang
AU  - Chun Cao
AU  - Jingwei Xu
PY  - 2025
UR  - https://arxiv.org/abs/2505.12031
ID  - 2505.12031
ER  -