AI 大模型

大模型推理能力

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

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

1. 逻辑推理 4 篇

2410.11900 2025-09-22 cs.AI cs.CL cs.LG cs.LO 87%

FLARE: Faithful Logic-Aided Reasoning and Exploration

Erik Arakelyan, Pasquale Minervini, Pat Verga, Patrick Lewis, Isabelle Augenstein

机构 * University of Copenhagen（哥本哈根大学）； University of Edinburgh（爱丁堡大学）； Cohere ； NVIDIA

专题命中逻辑推理：reasoning(title,abstract)；chain-of-thought(abstract)；CoT(abstract)；分类 cs.CL、cs.AI、cs.LG

Comments Published at EMNLP 2025

2505.16686 2025-09-22 cs.AI cs.CL 86%

SPaRC: A Spatial Pathfinding Reasoning Challenge

Lars Benedikt Kaesberg, Jan Philip Wahle, Terry Ruas, Bela Gipp

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

Comments Accepted at EMNLP 2025 (Main)

Journal ref EMNLP 2025

2509.15635 2025-09-22 cs.AI 70%

MicroRCA-Agent: Microservice Root Cause Analysis Method Based on Large Language Model Agents

Pan Tang, Shixiang Tang, Huanqi Pu, Zhiqing Miao, Zhixing Wang

机构 * School of Communication and Information Engineering, Shanghai University, Shanghai, China（上海大学通信与信息工程学院）； School of Communication and Electronic Engineering, East China Normal University, Shanghai, China（华东师范大学通信与电子工程学院）； School of Information and Electronics, Beijing Institute of Technology, Beijing, China（北京理工大学信息与电子学院）

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

Comments 18 pages, 22 figures

2502.08415 2025-09-22 cs.CL cs.LO 57%

FSLI: An Interpretable Formal Semantic System for One-Dimensional Ordering Inference

Maha Alkhairy, Vincent Homer, Brendan O'Connor

机构 * University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校）

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

Comments 3 figures, 9 pages main paper and 8 pages references and appendix