TY  - RPRT
TI  - Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
AU  - Chuxue Cao
AU  - Mengze Li
AU  - Juntao Dai
AU  - Jinluan Yang
AU  - Zijian Zhao
AU  - Shengyu Zhang
AU  - Weijie Shi
AU  - Chengzhong Liu
AU  - Sirui Han
AU  - Yike Guo
PY  - 2026
UR  - https://arxiv.org/abs/2506.17104
ID  - 2506.17104
ER  -