AI 大模型

大模型推理能力

大模型数学、逻辑、规划、多步推理和测试时计算能力。

2025-10-09 至 2025-10-09 共收录 2 篇信号源：cs.CL, cs.AI, cs.LG

1. 逻辑推理 2 篇

2510.06774 2025-10-09 cs.CL 83%

Adaptive LLM-Symbolic Reasoning via Dynamic Logical Solver Composition

Lei Xu, Pierre Beckmann, Marco Valentino, André Freitas

机构 * Idiap Research Institute（Idiap研究机构）； École Polytechnique Fédérale de Lausanne（联邦理工学院洛桑分校）； School of Computer Science, University of Sheffield（谢菲尔德大学计算机科学学院）； Department of Computer Science, University of Manchester（曼彻斯特大学计算机科学系）； Cancer Biomarker Centre, CRUK Manchester Institute（癌症生物标志物中心，CRUK曼彻斯特研究所）

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

2510.06559 2025-10-09 cs.CL cs.AI cs.LO 62%

The Algebra of Meaning: Why Machines Need Montague More Than Moore's Law

Cheonkam Jeong, Sungdo Kim, Jewoo Park

机构 * Savassan（萨瓦桑）

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