AI 大模型

大模型推理能力

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

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

1. 逻辑推理 6 篇

2510.24811 2025-10-30 cs.CL cs.AI cs.LG 85%

ProofSketch: Efficient Verified Reasoning for Large Language Models

Disha Sheshanarayana, Tanishka Magar

机构 * Manipal University Jaipur（马普尔大学斋普尔）

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

Comments Accepted at NeurIPS 2025, ER Workshop

2510.25595 2025-10-30 cs.CL cs.AI 73%

Communication and Verification in LLM Agents towards Collaboration under Information Asymmetry

Run Peng, Ziqiao Ma, Amy Pang, Sikai Li, Zhang Xi-Jia, Yingzhuo Yu, Cristian-Paul Bara, Joyce Chai

机构 * University of Michigan（密歇根大学）； UNC, Chapel Hill（北卡罗来纳大学教堂山分校）； Georgia Tech（佐治亚理工学院）； Apple（苹果公司）； Robert Bosch SRL（博世股份有限公司）； Babeş-Bolyai University（巴贝什-博耶亚大学）

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

Comments Workshop on Multi-Agent System @ ICML 2025

2502.09767 2025-10-30 cs.LG cs.AI cs.CL 67%

Non-Markovian Discrete Diffusion with Causal Language Models

Yangtian Zhang, Sizhuang He, Daniel Levine, Lawrence Zhao, David Zhang, Syed A Rizvi, Shiyang Zhang, Emanuele Zappala, Rex Ying, David van Dijk

机构 * Yale University（耶鲁大学）

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

Comments 39th Conference on Neural Information Processing Systems (NeurIPS 2025)

2510.17022 2025-10-30 cs.LG cs.AI 62%

Curiosity-driven RL for symbolic equation solving

Kevin P. O'Keeffe

机构 * Starling Research Institute（星灵研究机构）

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

Comments Accepted at the NeurIPS 2025 MATH-AI Workshop

2510.25445 2025-10-30 cs.AI cs.LG 62%

Agentic AI: A Comprehensive Survey of Architectures, Applications, and Future Directions

Mohamad Abou Ali, Fadi Dornaika

机构 * University of the Basque Country（巴斯克大学）； Lebanese International University (LIU)（黎巴嫩国际大学）； The International University of Beirut（贝鲁特国际大学）； IKERBASQUE

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

2505.15356 2025-10-30 cs.CL 57%

NL-Debugging: Exploiting Natural Language as an Intermediate Representation for Code Debugging

Weiming Zhang, Qingyao Li, Xinyi Dai, Jizheng Chen, Kounianhua Du, Weiwen Liu, Yasheng Wang, Ruiming Tang, Yong Yu, Weinan Zhang

机构 * Shanghai Jiao Tong University（上海交通大学）； Huawei Noah’s Ark Lab Shanghai（华为诺亚实验室）

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