大模型推理能力

DEL-ToM: Inference-Time Scaling for Theory-of-Mind Reasoning via Dynamic Epistemic Logic

Yuheng Wu, Jianwen Xie, Denghui Zhang, Zhaozhuo Xu

机构 * Stanford University（斯坦福大学） ； Lambda, Inc.（Lambda公司） ； Stevens Institute of Technology（史蒂文斯理工学院） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；logical reasoning(abstract)；verifier(abstract)；分类 cs.CL、cs.AI

Efficient Reasoning Models: A Survey

Sicheng Feng, Gongfan Fang, Xinyin Ma, Xinchao Wang

机构 * National University of Singapore, Singapore（新加坡国立大学） ； Nankai University, Tianjin, China（南开大学） 纠错

专题命中 逻辑推理 ：reasoning(title,abstract)；分类 cs.CL、cs.AI

Comments TMLR 2025

From Neural Networks to Logical Theories: The Correspondence between Fibring Modal Logics and Fibring Neural Networks

Ouns El Harzli, Bernardo Cuenca Grau, Artur d'Avila Garcez, Ian Horrocks, Tarek R. Besold

机构 * Department of Computer Science, University of Oxford（牛津大学计算机科学系） ； Sony AI Barcelona（巴塞罗那索尼人工智能实验室） ； Sony AI Tokyo（东京索尼人工智能实验室） ； City St George’s, University of London（伦敦大学城圣乔治学院） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

ABC-Eval: Benchmarking Large Language Models on Symbolic Music Understanding and Instruction Following

Jiahao Zhao, Yunjia Li, Wei Li, Kazuyoshi Yoshii

机构 * Graduate School of Informatics, Kyoto University, Japan（京都大学信息科学研究生院） ； College of Computer Science and Artificial Intelligence, Fudan University, China（复旦大学计算机科学与人工智能学院） ； Graduate School of Engineering, Kyoto University, Japan（京都大学工学研究科） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.AI

DataPuzzle: Breaking Free from the Hallucinated Promise of LLMs in Data Analysis

Zhengxuan Zhang, Zhuowen Liang, Yin Wu, Teng Lin, Yuyu Luo, Nan Tang

机构 * The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州）） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；分类 cs.CL