大模型推理能力

In-Token Rationality Optimization: Towards Accurate and Concise LLM Reasoning via Self-Feedback

Mingye Zhu, Yi Liu, Zheren Fu, Quan Wang, Yongdong Zhang

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

Comments AAAI 2026 Oral

HierRouter: Coordinated Routing of Specialized Large Language Models via Reinforcement Learning

Nikunj Gupta, Bill Guo, Rajgopal Kannan, Viktor K. Prasanna

机构 * David S. Hippocampus Department of Computer Science Cranberry-Lemon University（Cranberry-Lemon大学计算机科学系） ； University of Southern California（南加州大学） ； DEVCOM Army Research Office（陆军研究办公室） 纠错

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

EnchTable: Unified Safety Alignment Transfer in Fine-tuned Large Language Models

Jialin Wu, Kecen Li, Zhicong Huang, Xinfeng Li, Xiaofeng Wang, Cheng Hong

机构 * Ant Group（蚂蚁集团） ； Nanyang Technological University（南洋理工大学） 纠错

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

Comments Accepted by IEEE Symposium on Security and Privacy (S&P) 2026

WaterMod: Modular Token-Rank Partitioning for Probability-Balanced LLM Watermarking

Shinwoo Park, Hyejin Park, Hyeseon Ahn, Yo-Sub Han

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

Comments AAAI 2026 (Oral). This is the extended preprint of the copyrighted version at AAAI

SITA: A Framework for Structure-to-Instance Theorem Autoformalization

Chenyi Li, Wanli Ma, Zichen Wang, Zaiwen Wen

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

Enhancing Conflict Resolution in Language Models via Abstract Argumentation

Zhaoqun Li, Xiaotong Fang, Chen Chen, Mengze Li, Beishui Liao

机构 * School of Philosophy, Zhejiang University（浙江大学哲学系） ； College of Computer Science and Technology, Zhejiang University（浙江大学计算机科学与技术学院） ； The State Key Lab of Brain-Machine Intelligence（脑机智能国家重点实验室） 纠错

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

Proofs of Useful Work from Arbitrary Matrix Multiplication

Ilan Komargodski, Omri Weinstein

专题命中 代码与定理证明 ：verifier(abstract)

Discussion Graph Semantics of First-Order Logic with Equality for Reasoning about Discussion and Argumentation

Ryuta Arisaka

机构 * Department of Informatics, Kyoto University, Japan（信息学系，京都大学，日本） 纠错

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

Comments Typos have been corrected. 1. Definition 14: there were two formulas given to 1 \leq k case. One was longer than the other. The longer one has been deleted. 2. Definition 20: corrected a wrong (..) scope in the last conjunct. 3. Theorem 6: the formula after "iff*" contained t_1, ..., t_k, ...., .... They have been corrected. c_1, ..., c_t, ..., 4. Corollary 2: a minor typo corrected

FactReasoner: A Probabilistic Approach to Long-Form Factuality Assessment for Large Language Models

Radu Marinescu, Debarun Bhattacharjya, Junkyu Lee, Tigran Tchrakian, Javier Carnerero Cano, Yufang Hou, Elizabeth Daly, Alessandra Pascale

机构 * IBM Research（IBM研究院） ； IT:U - Interdisciplinary Transformation University Austria（interdisciplinary Transformation University Austria） 纠错

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

R1-Compress: Long Chain-of-Thought Compression via Chunk Compression and Search

Yibo Wang, Haotian Luo, Huanjin Yao, Tiansheng Huang, Haiying He, Rui Liu, Naiqiang Tan, Jiaxing Huang, Xiaochun Cao, Dacheng Tao, Li Shen

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

Comments Accepted by NeurIPS FoRLM Workshop

REAP: Enhancing RAG with Recursive Evaluation and Adaptive Planning for Multi-Hop Question Answering

Yijie Zhu, Haojie Zhou, Wanting Hong, Tailin Liu, Ning Wang

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

Comments To be published in AAAI 2026

Personalized Chain-of-Thought Summarization of Financial News for Investor Decision Support

Tianyi Zhang, Mu Chen

机构 * Computer Science Department University of Southern California Los Angeles, CA, USA（计算机科学系 美国南加州大学 洛杉矶 加州 美国） 纠错

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

Comments Proceedings of ICDM Workshops

CoAT: Chain-of-Associated-Thoughts Framework for Enhancing Large Language Models Reasoning

Jianfeng Pan, Senyou Deng, Shaomang Huang

机构 * Security Technology Inc.（360安全技术公司） 纠错

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

Comments 18 pages, 10 figures, Accepted by EMNLP 2025 (Findings)

nuPlan-R: A Closed-Loop Planning Benchmark for Autonomous Driving via Reactive Multi-Agent Simulation

Mingxing Peng, Ruoyu Yao, Xusen Guo, Jun Ma

机构 * The Hong Kong University of Science and Technology (Guangzhou)（香港科学与技术大学（广州）） ； Intelligent Transportation Thrust（智能交通方向） ； Robotics and Autonomous Systems Thrust（机器人与自主系统方向） ； Division of Emerging Interdisciplinary Areas（新兴跨学科领域部门） 纠错

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

Comments 8 pages, 3 figures

Planning Agents on an Ego-Trip: Leveraging Hybrid Ego-Graph Ensembles for Improved Tool Retrieval in Enterprise Task Planning

Sahil Bansal, Sai Shruthi Sistla, Aarti Arikatala, Sebastian Schreiber

机构 * SAP Labs（SAP实验室） 纠错

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

Safe Planning in Interactive Environments via Iterative Policy Updates and Adversarially Robust Conformal Prediction

Omid Mirzaeedodangeh, Eliot Shekhtman, Nikolai Matni, Lars Lindemann

机构 * Automatic Control Laboratory (IfA)（自动控制实验室） 纠错

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

Why Do Open-Source LLMs Struggle with Data Analysis? A Systematic Empirical Study

Yuqi Zhu, Yi Zhong, Jintian Zhang, Ziheng Zhang, Shuofei Qiao, Yujie Luo, Lun Du, Da Zheng, Ningyu Zhang, Huajun Chen

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

Comments AAAI 2026 (oral)

Matryoshka Pilot: Learning to Drive Black-Box LLMs with LLMs

Changhao Li, Yuchen Zhuang, Rushi Qiang, Haotian Sun, Hanjun Dai, Chao Zhang, Bo Dai

机构 * Georgia Institute of Technology（佐治亚理工学院） ； Precur AI ； Google DeepMind（谷歌DeepMind） 纠错

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

Comments Accepted by NeurIPS 2025

National Institute on Aging PREPARE Challenge: Early Detection of Cognitive Impairment Using Speech -- The SpeechCARE Solution

Maryam Zolnoori, Hossein Azadmaleki, Yasaman Haghbin, Ali Zolnour, Mohammad Javad Momeni Nezhad, Sina Rashidi, Mehdi Naserian, Elyas Esmaeili, Sepehr Karimi Arpanahi

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

FactGuard: Event-Centric and Commonsense-Guided Fake News Detection

Jing He, Han Zhang, Yuanhui Xiao, Wei Guo, Shaowen Yao, Renyang Liu

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

Comments Accepted by AAAI 2026

Moral Change or Noise? On Problems of Aligning AI With Temporally Unstable Human Feedback

Vijay Keswani, Cyrus Cousins, Breanna Nguyen, Vincent Conitzer, Hoda Heidari, Jana Schaich Borg, Walter Sinnott-Armstrong

机构 * Duke University（杜克大学） ； Carnegie Mellon University（卡内基梅隆大学） 纠错

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

Comments To appear in the AAAI 2026 Alignment Track

CCD-Bench: Probing Cultural Conflict in Large Language Model Decision-Making

Hasibur Rahman, Hanan Salam

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

Onboard Mission Replanning for Adaptive Cooperative Multi-Robot Systems

Elim Kwan, Rehman Qureshi, Liam Fletcher, Colin Laganier, Victoria Nockles, Richard Walters

机构 * The Alan Turing Institute（艾伦·图灵研究所） ； Department of Aerospace Engineering（航空航天工程系） ； Auburn University（阿伯丁大学） 纠错

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

Comments 9 pages, 5 figures, 1 table

Journal ref IEEE Robotics and Automation Letters (Volume: 10, Issue: 12, December 2025) Pages: 13225 - 13232

From Street to Orbit: Training-Free Cross-View Retrieval via Location Semantics and LLM Guidance

Jeongho Min, Dongyoung Kim, Jaehyup Lee

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

Comments Accepted to WACV 2026, 10pages, 4 figures

SlideBot: A Multi-Agent Framework for Generating Informative, Reliable, Multi-Modal Presentations

Eric Xie, Danielle Waterfield, Michael Kennedy, Aidong Zhang

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

Comments 32 pages, 14 figures, accepted into EAAI 2026

Search Is Not Retrieval: Decoupling Semantic Matching from Contextual Assembly in RAG

Harshit Nainwani, Hediyeh Baban

机构 * Services AI Research Group, Dell Technologies（Dell Technologies人工智能服务研究组） 纠错

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

Comments 22 pages, 2 figures, technical framework paper

CityVerse: A Unified Data Platform for Multi-Task Urban Computing with Large Language Models

Yaqiao Zhu, Hongkai Wen, Mark Birkin, Man Luo

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

LLM-YOLOMS: Large Language Model-based Semantic Interpretation and Fault Diagnosis for Wind Turbine Components

Yaru Li, Yanxue Wang, Meng Li, Xinming Li, Jianbo Feng

机构 * School of Mechanical-Electronic and Vehicle Engineering, Beijing University of Civil Engineering and Architecture（机械电子与车辆工程学院，北京建筑大学） 纠错

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

Comments Journal resubmission

Generalized Intelligence for Tactical Decision-Making: Large Language Model-Driven Dynamic Weapon Target Assignment

Johannes Autenrieb, Ole Ostermann

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

Comments 8 Pages, 6 figures, submitted to IEEE Transactions on Aerospace and Electronic Systems

A comparative analysis of metamodels for 0D cardiovascular models, and pipeline for sensitivity analysis, parameter estimation, and uncertainty quantification

John M. Hanna, Pavlos Varsos, Jérôme Kowalski, Lorenzo Sala, Roel Meiburg, Irene E. Vignon-Clementel

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