大模型推理能力

LLM-based Agentic Reasoning Frameworks: A Survey from Methods to Scenarios

Bingxi Zhao, Lin Geng Foo, Ping Hu, Christian Theobalt, Hossein Rahmani, Jun Liu

机构 * Beijing Jiaotong University（北京交通大学） ； Lancaster University（兰卡斯特大学） ； Max Planck Institute for Informatics, Saarland Informatics Campus（马克斯·普朗克研究所（信息学）萨尔兰州信息学校区） ； University of Electronic Science and Technology of China（电子科技大学） 纠错

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

Comments 51 pages,10 figures,8 tables. Work in progress

Investigating the Robustness of Deductive Reasoning with Large Language Models

Fabian Hoppe, Filip Ilievski, Jan-Christoph Kalo

机构 * Vrije Universiteit Amsterdam（阿姆斯特丹自由大学） ； Universiteit van Amsterdam（阿姆斯特丹大学） 纠错

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

Comments to be published in ECAI 2025

Reasoning with RAGged events: RAG-Enhanced Event Knowledge Base Construction and reasoning with proof-assistants

Stergios Chatzikyriakidis

机构 * Computational Linguistics and Language Technology lab（计算语言学与语言技术实验室） ； Department of Philology（文学系） ； University of Crete（克里特大学） 纠错

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