Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving.

Chuxue Cao, Mengze Li, Juntao Dai, Jinluan Yang, Zijian Zhao, Shengyu Zhang, Weijie Shi, Chengzhong Liu, Sirui Han, Yike Guo

Browse the full EMNLP paper archive.