大模型推理能力

Typed Chain-of-Thought: A Curry-Howard Framework for Verifying LLM Reasoning

Elija Perrier

机构 * Centre for Quantum Software and Information（量子软件与信息中心） ； University of Technology Sydney（悉尼技术大学） 纠错

专题命中 代码与定理证明 ：reasoning(title,abstract)；chain-of-thought(title,abstract)；CoT(abstract)；分类 cs.AI

Comments Under review

Neural Theorem Proving: Generating and Structuring Proofs for Formal Verification

Balaji Rao, William Eiers, Carlo Lipizzi

专题命中 代码与定理证明 ：reasoning(abstract,comments)；分类 cs.AI、cs.LG

Comments Accepted to the Proceedings of the 19th Conference on Neurosymbolic Learning and Reasoning (NeSy 2025)

EvolProver: Advancing Automated Theorem Proving by Evolving Formalized Problems via Symmetry and Difficulty

Yuchen Tian, Ruiyuan Huang, Xuanwu Wang, Jing Ma, Zengfeng Huang, Ziyang Luo, Hongzhan Lin, Da Zheng, Lun Du

机构 * Hong Kong Baptist University（香港 Baptist 大学） ； Ant Group（蚂蚁集团） ； School of Data Science, Fudan University（复旦大学数据科学学院） 纠错

专题命中 代码与定理证明 ：reasoning(abstract)；分类 cs.AI