@misc{indiciae9bd41c64bdcf,
  title = {LLM-based Automated Theorem Proving Hinges on Scalable Synthetic Data Generation},
  author = {Junyu Lai and Jiakun Zhang and Shuo Xu and Taolue Chen and Zihang Wang and Yao Yang and Jiarui Zhang and Chun Cao and Jingwei Xu},
  year = {2025},
  url = {https://arxiv.org/abs/2505.12031},
  note = {Source identifier: 2505.12031}
}