@article{towardsadvancedmathematicalreasoningfor,
  title = {Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving},
  author = {Chuxue Cao and Mengze Li and Juntao Dai and Jinluan Yang and Zijian Zhao and Shengyu Zhang and Weijie Shi and Chengzhong Liu and Sirui Han and Yike Guo},
  year = {2025},
  eprint = {2506.17104},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2506.17104v1},
}