Papers
Communities
Events
Blog
Pricing
Search
Open menu
Home
Papers
2506.17104
Cited By
Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving
20 June 2025
Chuxue Cao
Mengze Li
Juntao Dai
Jinluan Yang
Zijian Zhao
Shengyu Zhang
Weijie Shi
Chengzhong Liu
Sirui Han
Yike Guo
LRM
Re-assign community
ArXiv (abs)
PDF
HTML
Papers citing
"Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving"
Title
No papers
