大模型推理能力

Visual Document Understanding and Reasoning: A Multi-Agent Collaboration Framework with Agent-Wise Adaptive Test-Time Scaling

Xinlei Yu, Chengming Xu, Zhangquan Chen, Yudong Zhang, Shilin Lu, Cheng Yang, Jiangning Zhang, Shuicheng Yan, Xiaobin Hu

机构 * National University of Singapore（新加坡国立大学） ； Tencent Youtu Lab（腾讯优图实验室） ； Tsinghua University（清华大学） ； University of Science and Technology of China（中国科学技术大学） ； Nanyang Technological University（南洋理工大学） ； Zhejiang University（浙江大学） ； DeepWisdom（深智科技） 纠错

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

Leveraging Parameter Space Symmetries for Reasoning Skill Transfer in LLMs

Stefan Horoi, Sangwoo Cho, Supriyo Chakraborty, Shi-Xiong Zhang, Sambit Sahu, Guy Wolf, Genta Indra Winata

机构 * Université de Montréal（蒙特利尔大学） ； Mila – Quebec AI Institute（魁北克人工智能研究所） ； Capital One（Capital One公司） 纠错

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

Instella: Fully Open Language Models with Stellar Performance

Jiang Liu, Jialian Wu, Xiaodong Yu, Yusheng Su, Prakamya Mishra, Gowtham Ramesh, Sudhanshu Ranjan, Chaitanya Manem, Ximeng Sun, Ze Wang, Pratik Prabhanjan Brahma, Zicheng Liu, Emad Barsoum

机构 * AMD 纠错

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

Towards Verified Code Reasoning by LLMs

Meghana Sistla, Gogul Balakrishnan, Pat Rondon, José Cambronero, Michele Tufano, Satish Chandra

机构 * University of Texas at Austin（德克萨斯大学奥斯汀分校） ； Google DeepMind（谷歌DeepMind） ； Google（谷歌） ； Meta Platforms（元平台） 纠错

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

Comments 43 pages

Multi-agent Undercover Gaming: Hallucination Removal via Counterfactual Test for Multimodal Reasoning

Dayong Liang, Xiao-Yong Wei, Changmeng Zheng

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

Comments Accepted by AAAI 2026

Comprehension Without Competence: Architectural Limits of LLMs in Symbolic Computation and Reasoning

Zheng Zhang

机构 * Amazon Web Services（亚马逊网络服务） 纠错

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

Comments v2: Two TMLR revision rounds addressing reviewer feedback. Added real-world validation (3.4), interpretability analysis (7), computational hallucination framework, strengthened theory. v3: Sec 3.2 - added transformer architecture diagram, clarified UAT capacity vs computational limits, improved role specialization theorem presentation

Spectral Neuro-Symbolic Reasoning II: Semantic Node Merging, Entailment Filtering, and Knowledge Graph Alignment

Andrew Kiruluta, Priscilla Burity

机构 * School of Information, UC Berkeley（信息学院，伯克利大学） 纠错

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

Proceedings of the Second International Workshop on Next-Generation Language Models for Knowledge Representation and Reasoning (NeLaMKRR 2025)

Ha-Thanh Nguyen, Ken Satoh, Francesca Toni, Randy Goebel, Kostas Stathis

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

Comments Associated with the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025) in Melbourne, Australia

ReTrace: Interactive Visualizations for Reasoning Traces of Large Reasoning Models

Ludwig Felder, Jacob Miller, Markus Wallinger, Stephen Kobourov, Chunyang Chen

专题命中 逻辑推理 ：reasoning(title,abstract)

NeuS-QA: Grounding Long-Form Video Understanding in Temporal Logic and Neuro-Symbolic Reasoning

Sahil Shah, S P Sharan, Harsh Goel, Minkyu Choi, Mustafa Munir, Manvik Pasula, Radu Marculescu, Sandeep Chinchali

专题命中 逻辑推理 ：reasoning(title,abstract)

DeepSeek-Inspired Exploration of RL-based LLMs and Synergy with Wireless Networks: A Survey

Yu Qiao, Phuong-Nam Tran, Ji Su Yoon, Loc X. Nguyen, Eui-Nam Huh, Dusit Niyato, Choong Seon Hong

机构 * Kyung Hee University（韩国庆熙大学） ； Nanyang Technological University（南洋理工大学） 纠错

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

Comments 45 pages, 12 figures

Journal ref ACM Computing Surveys, Nov. 2025

CoEvo: Continual Evolution of Symbolic Solutions Using Large Language Models

Ping Guo, Qingfu Zhang, Xi Lin

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

Comments Camera ready version for AAAI 2026

Revealing Adversarial Smart Contracts through Semantic Interpretation and Uncertainty Estimation

Yating Liu, Xing Su, Hao Wu, Sijin Li, Yuxi Cheng, Fengyuan Xu, Sheng Zhong

专题命中 逻辑推理 ：reasoning(abstract)

Towards Assume-Guarantee Verification of Abilities in Stochastic Multi-Agent Systems

Wojciech Jamroga, Damian Kurpiewski, Łukasz Mikulski

专题命中 逻辑推理 ：reasoning(abstract)

Comments technical report, work in progress

Multi-Agent Legal Verifier Systems for Data Transfer Planning

Ha-Thanh Nguyen, Wachara Fungwacharakorn, Ken Satoh

机构 * Center of Juris-Informatics, Joint Support-Center for Data Science Research, ROIS, Tokyo, Japan（司法信息中心、数据科学研究联合支持中心、ROIS、东京、日本） ； Research and Development Center for Large Language Models, NII, ROIS, Tokyo, Japan（大语言模型研究与开发中心、日本信息机构、ROIS、东京、日本） 纠错

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

Comments Presented at NeLaMKRR@KR, 2025 (arXiv:2511.09575)

Co-EPG: A Framework for Co-Evolution of Planning and Grounding in Autonomous GUI Agents

Yuan Zhao, Hualei Zhu, Tingyu Jiang, Shen Li, Xiaohang Xu, Hao Henry Wang

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

Comments Accepted by AAAI 2026

Enhancing Demand-Oriented Regionalization with Agentic AI and Local Heterogeneous Data for Adaptation Planning

Seyedeh Mobina Noorani, Shangde Gao, Changjie Chen, Karla Saldana Ochoa

机构 * College of Design, Construction and Planning, University of Florida（佛罗里达大学设计、建设与规划学院） ； Department of Electrical and Computer Engineering, University of Florida（佛罗里达大学电气与计算机工程系） ； Florida Institute for Built Environment Resilience (FIBER), University of Florida（佛罗里达大学环境韧性研究所） 纠错

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

Comments Accepted by NeurIPS 2025 UrbanAI Workshop as poster

A Learning-Based Framework for Collision-Free Motion Planning

Mateus Salomão, Tianyü Ren, Alexander König

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

Latent Principle Discovery for Language Model Self-Improvement

Keshav Ramji, Tahira Naseem, Ramón Fernandez Astudillo

机构 * IBM Research AI（IBM人工智能研究） 纠错

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

Comments Accepted at NeurIPS 2025

Human-AI collaborative autonomous synthesis with pulsed laser deposition for remote epitaxy

Asraful Haque, Daniel T. Yimam, Jawad Chowdhury, Ralph Bulanadi, Ivan Vlassiouk, John Lasseter, Sujoy Ghosh, Christopher M. Rouleau, Kai Xiao, Yongtao Liu, Eva Zarkadoula, Rama K. Vasudevan, Sumner B. Harris

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

Large Language Model-assisted Autonomous Vehicle Recovery from Immobilization

Zhipeng Bao, Qianwen Li

机构 * School of Environmental, Civil, Agricultural, and Mechanical Engineering（环境、土木、农业和机械工程学院） ； University of Georgia（佐治亚大学） 纠错

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

Comments 7 pages

FastDriveVLA: Efficient End-to-End Driving via Plug-and-Play Reconstruction-based Token Pruning

Jiajun Cao, Qizhe Zhang, Peidong Jia, Xuhui Zhao, Bo Lan, Xiaoan Zhang, Zhuo Li, Xiaobao Wei, Sixiang Chen, Liyun Li, Xianming Liu, Ming Lu, Yang Wang, Shanghang Zhang

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

Comments Accepted by AAAI 2026

GraphMASAL: A Graph-based Multi-Agent System for Adaptive Learning

Biqing Zeng, Mengquan Liu, Zongwei Zhen

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

Comments 9 pages, 3 figures,submitted to AAMAS 2026

Your Ride, Your Rules: Psychology and Cognition Enabled Automated Driving Systems

Zhipeng Bao, Qianwen Li

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

Comments 32 pages, one colummns

Thinker: Training LLMs in Hierarchical Thinking for Deep Search via Multi-Turn Interaction

Jun Xu, Xinkai Du, Yu Ao, Peilong Zhao, Yang Li, Ling Zhong, Lin Yuan, Zhongpu Bo, Xiaorui Wang, Mengshu Sun, Zhengke Gui, Dalong Zhang, Zhaoyang Wang, Qiwei Wang, Yangyang Hou, Zhiying Yin, Haofen Wang, Huajun Chen, Lei Liang, Jun Zhou

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

Comments Accepted to AAAI 2026. Extended version with full Appendix

Multi-Phase Spacecraft Trajectory Optimization via Transformer-Based Reinforcement Learning

Amit Jain, Victor Rodriguez-Fernandez, Richard Linares

机构 * Aeronautics & Astronautics, Massachusetts Institute of Technology（航空与宇航科学系，麻省理工学院） ； Department of Computer Systems Engineering, Universidad Politécnica de Madrid（计算机系统工程系，马德里理工大学） 纠错

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

Key Decision-Makers in Multi-Agent Debates: Who Holds the Power?

Qian Zhang, Yan Zheng, Jinyi Liu, Hebin Liang, Lanjun Wang

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

CyPortQA: Benchmarking Multimodal Large Language Models for Cyclone Preparedness in Port Operation

Chenchen Kuai, Chenhao Wu, Yang Zhou, Xiubin Bruce Wang, Tianbao Yang, Zhengzhong Tu, Zihao Li, Yunlong Zhang

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

Comments 9 pages, 5 figures

Semantic Web: Past, Present, and Future (with Machine Learning on Knowledge Graphs and Language Models on Knowledge Graphs)

Ansgar Scherp, Gerd Groener, Petr Škoda, Katja Hose, Maria-Esther Vidal

机构 * Ulm University（乌尔姆大学） ； Carl Zeiss SMT GmbH（卡尔蔡司SMT有限公司） ； Department of Software Engineering, Faculty of Mathematics and Physics（数学与物理系软件工程系） ； Charles University（查尔斯大学） ； TU Wien（维也纳技术大学） ； Leibniz University of Hannover（汉诺威莱布尼茨大学） ； TIB-Leibniz Information Centre for Science and Technology（莱布尼茨科学与技术信息中心） 纠错

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

Comments Extended Version 2025-11-11 of TGDK 2(1): 3:1-3:37 (2024) If you like to contribute, please contact the first author and visit: https://github.com/ascherp/semantic-web-primer Please cite this paper as, see https://dblp.org/rec/journals/tgdk/ScherpG0HV24.html?view=bibtex

Journal ref TGDK 2(1): 3:1-3:37 (2024)

Parking of Connected Automated Vehicles: Vehicle Control, Parking Assignment, and Multi-agent Simulation

Xu Shen, Yongkeun Choi, Alex Wong, Francesco Borrelli, Scott Moura, Soomin Woo

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