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

ArXiv CS.CL2026-06-16NEWSen作者: Chuxue Cao, Mengze Li, Juntao Dai, Jinluan Yang, Zijian Zhao, Shengyu Zhang, Weijie Shi, Chengzhong Liu, Sirui Han, Yike Guo
查看原文 →
关系图谱

Towards Advanced Mathematical Reasoning for LLMs via First-Order Logic Theorem Proving · 相关人物

暂无数据