大模型推理能力

Improving Rule-based Reasoning in LLMs using Neurosymbolic Representations

Varun Dhanraj, Chris Eliasmith

机构 * School of Computer Science, University of Waterloo, Waterloo, Canada（计算机科学学院，滑铁卢大学，滑铁卢，加拿大） ； Centre for Theoretical Neuroscience, University of Waterloo（理论神经科学中心，滑铁卢大学） 纠错

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

Journal ref Proceedings of the 2025 Conference on Empirical Methods in Natural Language Processing (EMNLP), pages 30577--30596

Effective Learning for Small Reasoning Models: An Empirical Study on 0.5B Reasoning LLMs

Xialie Zhuang, Peixian Ma, Zhikai Jia, Zane Cao, Shiwei Liu

机构 * University of Chinese Academy of Sciences（中国科学院大学） ； The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州）） ； SCITIX (SGP) TECH PTE. LTD.（SCITIX（SGP）技术有限公司） ； Max Planck Institute for Intelligent Systems（智能系统马克斯·普朗克研究所） ； ELLIS Institute Tübingen（图宾根ELLIS研究所） ； Tübingen AI Center（图宾根人工智能中心） 纠错

专题命中 数学推理 ：reasoning(title,abstract)；分类 cs.AI

Comments Under Review

Beat the long tail: Distribution-Aware Speculative Decoding for RL Training

Zelei Shao, Vikranth Srivatsa, Sanjana Srivastava, Qingyang Wu, Alpay Ariyak, Xiaoxia Wu, Ameen Patel, Jue Wang, Percy Liang, Tri Dao, Ce Zhang, Yiying Zhang, Ben Athiwaratkun, Chenfeng Xu, Junxiong Wang

专题命中 数学推理 ：reasoning(abstract)；分类 cs.LG

Watchdogs and Oracles: Runtime Verification Meets Large Language Models for Autonomous Systems

Angelo Ferrando

机构 * University of Modena and Reggio Emilia（摩德纳和雷吉奥艾米利亚大学） 纠错

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

Comments In Proceedings FMAS 2025, arXiv:2511.13245

Journal ref EPTCS 436, 2025, pp. 80-87

Collaborative QA using Interacting LLMs. Impact of Network Structure, Node Capability and Distributed Data

Adit Jain, Vikram Krishnamurthy, Yiming Zhang

机构 * Department of Electrical and Computer Engineering, Cornell University（电气与计算机工程系，康奈尔大学） 纠错

专题命中 逻辑推理 ：test-time compute(abstract)；分类 cs.AI

A Neuro-Symbolic Framework for Reasoning under Perceptual Uncertainty: Bridging Continuous Perception and Discrete Symbolic Planning

Jiahao Wu, Shengwen Yu

机构 * The University of Hong Kong（香港大学） ； Guangzhou College of Commerce（广州商学院） 纠错

专题命中 规划推理 ：reasoning(title,abstract)；planning(title,abstract)；分类 cs.AI

Comments 29 pages, 10 figures, 12 tables

SMRC: Aligning Large Language Models with Student Reasoning for Mathematical Error Correction

Biaojie Zeng, Min Zhang, Juan Zhou, Fengrui Liu, Ruiyang Huang, Xin Lin

机构 * East China Normal University（华东师范大学） ； East Chine Normal University（华东师范大学） ； Southeast University（东南大学） 纠错

专题命中 规划推理 ：reasoning(title,abstract)；self-correction(abstract)；分类 cs.CL

Comments 13 pages, 3 figures

LocalBench: Benchmarking LLMs on County-Level Local Knowledge and Reasoning

Zihan Gao, Yifei Xu, Jacob Thebault-Spieker

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

A Specialized Large Language Model for Clinical Reasoning and Diagnosis in Rare Diseases

Tao Yang, Dandan Huang, Yunting Lin, Pengfei Wu, Zhikun Wu, Gangyuan Ma, Yulan Lu, Xinran Dong, Dingpeng Li, Junshuang Ge, Zhiyan Zhang, Xuanzhao Huang, Wenyan Nong, Yao Zhou, Hui Tang, Hongxi Yang, Shijie Zhang, Juan Li, Xiaojun Cao, Lin Yang, Xia Gao, Kaishou Xu, Xiaoqiong Gu, Wen Zhang, Huimin Xia, Li Liu, Wenhao Zhou, Mulin Jun Li

专题命中 规划推理 ：reasoning(title,abstract)；分类 cs.CL

Comments 50 pages, 5 figures

Talk, Snap, Complain: Validation-Aware Multimodal Expert Framework for Fine-Grained Customer Grievances

Rishu Kumar Singh, Navneet Shreya, Sarmistha Das, Apoorva Singh, Sriparna Saha

专题命中 规划推理 ：reasoning(abstract)；chain-of-thought(abstract)；CoT(abstract)；分类 cs.CL

Comments To be published in the Proceedings of the 40th Annual AAAI Conference on Artificial Intelligence (AAAI 2026 Special Track on AI for Social Impact )

MI9: An Integrated Runtime Governance Framework for Agentic AI

Charles L. Wang, Trisha Singhal, Ameya Kelkar, Jason Tuo

机构 * Barclays, Model Risk Management（巴克莱银行，模型风险管理部门） ； Columbia University（哥伦比亚大学） 纠错

专题命中 规划推理 ：reasoning(abstract)；planning(abstract)；分类 cs.AI

Enhancing LLM-based Autonomous Driving with Modular Traffic Light and Sign Recognition

Fabian Schmidt, Noushiq Mohammed Kayilan Abdul Nazar, Markus Enzweiler, Abhinav Valada

机构 * Institute for Intelligent Systems（智能系统研究所） ； Esslingen University of Applied Sciences（应用科学大学埃斯林根） ； Department of Computer Science（计算机科学系） ； University of Freiburg（弗赖堡大学） 纠错

专题命中 规划推理 ：reasoning(abstract)；planning(abstract)

Hierarchical LLMs In-the-Loop Optimization for Real-Time Multi-Robot Target Tracking under Unknown Hazards

Yuwei Wu, Yuezhan Tao, Peihan Li, Guangyao Shi, Gaurav S. Sukhatme, Vijay Kumar, Lifeng Zhou

机构 * GRASP Lab, University of Pennsylvania（宾夕法尼亚大学GRASP实验室） ； Department of Electrical and Computer Engineering, Drexel University（德雷塞尔大学电气与计算机工程系） ； Department of Computer Science, University of Southern California（南加州大学计算机科学系） 纠错

专题命中 规划推理 ：reasoning(abstract)；planning(abstract)

Robustness of LLM-enabled vehicle trajectory prediction under data security threats

Feilong Wang, Fuqiang Liu

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

Comments 20 pages, 2 figures, 11 tables, working paper

SkillGen: Learning Domain Skills for In-Context Sequential Decision Making

Ruomeng Ding, Wei Cheng, Minglai Shao, Chen Zhao

机构 * University of North Carolina at Chapel Hill（北卡罗来纳大学教堂山分校） ； Georgia Institute of Technology（佐治亚理工学院） ； NEC Laboratories America（NEC美洲实验室） ； Tianjin University（天津大学） ； Baylor University（贝勒大学） 纠错

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

AutoTool: Efficient Tool Selection for Large Language Model Agents

Jingyi Jia, Qinbin Li

机构 * Jingyi Jia, Qinbin Li 纠错

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

Comments Accepted by AAAI 2026, 18 pages, 11 figures, Code: https://github.com/jiajingyyyyyy/AutoTool

GCA-ResUNet:Image segmentation in medical images using grouped coordinate attention

Jun Ding, Shang Gao

机构 * Jiangsu University of Science and Technology（江苏科技大学） 纠错

专题命中 规划推理 ：planning(abstract)；分类 cs.AI

CORGI: Efficient Pattern Matching With Quadratic Guarantees

Daniel Weitekamp

机构 * School of Interactive Computing, Georgia Tech, Atlanta, GA 30332 USA（交互计算学院，佐治亚理工学院，亚特兰大，GA 30332 USA） 纠错

专题命中 规划推理 ：planning(abstract)；分类 cs.AI

Journal ref Conference on Advances in Cognitive Systems (2025) 212-225

Randomized Controlled Trials for Conditional Access Optimization Agent

James Bono, Beibei Cheng, Joaquin Lozano

机构 * Microsoft Corporation（微软公司） 纠错

专题命中 规划推理 ：planning(abstract)；分类 cs.AI

Multi-Agent Deep Research: Training Multi-Agent Systems with M-GRPO

Haoyang Hong, Jiajun Yin, Yuan Wang, Jingnan Liu, Zhe Chen, Ailing Yu, Ji Li, Zhiling Ye, Hansong Xiao, Yefei Chen, Hualei Zhou, Yun Yue, Minghui Yang, Chunxiao Guo, Junwei Liu, Peng Wei, Jinjie Gu

机构 * Ant Group（蚂蚁集团） ； Imperial College London（伦敦帝国理工学院） 纠错

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

CAPIRE: Modelling the Impact of Teacher Strikes and Inflation on Student Trajectories in Engineering Education

H. R Paz

专题命中 规划推理 ：planning(abstract)

Comments 54 pages, 3 figures, 7 tables. Includes appendices

SLICE: SLO-Driven Scheduling for LLM Inference on Edge Computing Devices

Will Chow

专题命中 规划推理 ：planning(abstract)

Comments This work has been submitted to the IEEE for possible publication. This version is temporarily hosted anonymously for double-blind review

WebRec: Enhancing LLM-based Recommendations with Attention-guided RAG from Web

Zihuai Zhao, Yujuan Ding, Wenqi Fan, Qing Li

专题命中 规划推理 ：reasoning(abstract)

MindRec: A Diffusion-driven Coarse-to-Fine Paradigm for Generative Recommendation

Mengyao Gao, Chongming Gao, Haoyan Liu, Qingpeng Cai, Peng Jiang, Jiajia Chen, Shuai Yuan, Xiangnan He

专题命中 规划推理 ：reasoning(abstract)

Who Moved My Distribution? Conformal Prediction for Interactive Multi-Agent Systems

Allen Emmanuel Binny, Anushri Dixit

专题命中 规划推理 ：planning(abstract)

Beyond Flatlands: Unlocking Spatial Intelligence by Decoupling 3D Reasoning from Numerical Regression

Zhongbin Guo, Jiahe Liu, Yushan Li, Wenyu Gao, Zhen Yang, Chenzhi Li, Xinyue Zhang, Ping Jian

机构 * School of Computer Science & Technology（计算机科学与技术学院） ； Beijing Institute of Technology（北京理工大学） 纠错

专题命中 视觉空间推理 ：reasoning(title,abstract)；chain-of-thought(abstract)；CoT(abstract)

Imagine in Space: Exploring the Frontier of Spatial Intelligence and Reasoning Efficiency in Vision Language Models

Xiaoxing Lian, Aidong Yang, Jun Zhu, Peng Wang, Yue Zhang

专题命中 视觉空间推理 ：reasoning(title,abstract)；分类 cs.AI

Comments 10 pages,a detail and effective benchmark for spatial reasoning

Run, Ruminate, and Regulate: A Dual-process Thinking System for Vision-and-Language Navigation

Yu Zhong, Zihao Zhang, Rui Zhang, Lingdong Huang, Haihan Gao, Shuo Wang, Da Li, Ruijian Han, Jiaming Guo, Shaohui Peng, Di Huang, Yunji Chen

专题命中 视觉空间推理 ：reasoning(abstract)；chain-of-thought(abstract)；CoT(abstract)；分类 cs.AI

Error-Driven Scene Editing for 3D Grounding in Large Language Models

Yue Zhang, Zun Wang, Han Lin, Jialu Li, Jianing Yang, Yonatan Bitton, Idan Szpektor, Mohit Bansal

机构 * UNC Chapel Hill（北卡罗来纳大学教堂山分校） ； University of Michigan（密歇根大学） ； Google Research（谷歌研究） 纠错

专题命中 视觉空间推理 ：reasoning(abstract)；分类 cs.CL、cs.AI

Comments Code: https://github.com/zhangyuejoslin/Deer-3D

RynnEC: Bringing MLLMs into Embodied World

Ronghao Dang, Yuqian Yuan, Yunxuan Mao, Kehan Li, Jiangpin Liu, Zhikai Wang, Xin Li, Fan Wang, Deli Zhao

机构 * DAMO Academy, Alibaba Group（达摩院，阿里巴巴集团） ； Hupan Lab（虎盘实验室） ； Zhejiang University（浙江大学） 纠错

专题命中 视觉空间推理 ：reasoning(abstract)；分类 cs.AI

Comments The technical report of RynnEC, an embodied cognition MLLM