Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
Published in EMNLP, 2025
Recommended citation: Cao C, Li M, Dai J, et al. Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving[J]. arXiv preprint arXiv:2506.17104, 2025.
Download Paper