大模型推理能力

SITA: A Framework for Structure-to-Instance Theorem Autoformalization

Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen

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

Enhancing Conflict Resolution in Language Models via Abstract Argumentation

Zhaoqun Li, Xiaotong Fang, Chen Chen, Mengze Li, Beishui Liao

机构 * School of Philosophy, Zhejiang University（浙江大学哲学系） ； College of Computer Science and Technology, Zhejiang University（浙江大学计算机科学与技术学院） ； The State Key Lab of Brain-Machine Intelligence（脑机智能国家重点实验室） 纠错

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

Proofs of Useful Work from Arbitrary Matrix Multiplication

Ilan Komargodski, Omri Weinstein

专题命中 代码与定理证明 ：verifier(abstract)