大模型推理能力

Sample Smart, Not Hard: Correctness-First Decoding for Better Reasoning in LLMs

Xueyan Li, Guinan Su, Mrinmaya Sachan, Jonas Geiping

机构 * ETH Zurich（苏黎世联邦理工学院） ； Max Planck Institute for Intelligent Systems（智能系统马克斯·普朗克研究所） 纠错

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

Beyond Monolithic Rewards: A Hybrid and Multi-Aspect Reward Optimization for MLLM Alignment

Radha Gulhane, Sathish Reddy Indurthi

机构 * Radha Gulhane（独立研究者） ； Sathish Reddy Indurthi（独立研究者） 纠错

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

H1B-KV: Hybrid One-Bit Caches for Memory-Efficient Large Language Model Inference

Harshil Vejendla

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

Comments MIT URTC 2025 Technical Paper (Oral), 5 pages, 1 figure

VecInfer: Efficient LLM Inference with Low-Bit KV Cache via Outlier-Suppressed Vector Quantization

Dingyu Yao, Chenxu Yang, Zhengyang Tong, Zheng Lin, Wei Liu, Jian Luan, Weiping Wang

机构 * Institute of Information Engineering, Chinese Academy of Sciences（中国科学院信息工程研究所） ； School of Cyber Security, University of Chinese Academy of Sciences（中国科学院大学网络安全学院） ； MiLM Plus, Xiaomi Inc（小米公司MiLM Plus） 纠错

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

MathVC: An LLM-Simulated Multi-Character Virtual Classroom for Mathematics Education

Murong Yue, Wenhan Lyu, Jennifer Suh, Yixuan Zhang, Ziyu Yao

机构 * George Mason University（乔治·马歇尔大学） 纠错

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

Comments Accepted by AAAI 2025 workshop

The Valley of Code Reasoning: Scaling Knowledge Distillation of Large Language Models

Muyu He, Muhammad Ali Shafique, Anand Kumar, Tsach Mackey, Nazneen Rajani

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

Comments NeurIPS 2025 Workshop on Deep Learning for Code (DL4C), Project page: https://collinear.ai/valley-of-reasoning

Any theory that admits a Wigner's Friend type multi-agent paradox is logically contextual

Nuriya Nurgalieva, V. Vilasini

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

Comments 39+16 pages. Both authors contributed equally to this work. Initial versions of some of these results were included in NN's PhD thesis (ETH Zurich, 2023). v2 includes additional citations and clarifications in the outlook section

When Thinking Drifts: Evidential Grounding for Robust Video Reasoning

Mi Luo, Zihui Xue, Alex Dimakis, Kristen Grauman

机构 * The University of Texas at Austin（德克萨斯大学奥斯汀分校） ； UC Berkeley（伯克利大学） ； Bespoke Labs（Bespoke实验室） 纠错

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

Comments Accepted by NeurIPS 2025, Project page: https://vision.cs.utexas.edu/projects/video-ver/

Hierarchical Reasoning Models: Perspectives and Misconceptions

Renee Ge, Qianli Liao, Tomaso Poggio

机构 * Center for Brains, Minds, and Machines（大脑、心智与机器中心） ； K. Lisa Yang Integrative Computational Neuroscience (ICoN) Center（K. Lisa Yang整合计算神经科学中心） ； McGovern Institute for Brain Research（麦戈文脑科学研究所） ； Department of Brain and Cognitive Sciences（脑科学与认知科学系） 纠错

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

Comments Found errors in some results of v1. Removed them and changed conclusions

From Classical Rationality to Contextual Reasoning: Quantum Logic as a New Frontier for Human-Centric AI in Finance

Fabio Bagarello, Francesco Gargano, Polina Khrennikova

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

Comments 19 pages, 5 figures, preprint version. Forthcoming in: Journal of Quantum Economics and Finance

Constraint-Aware Route Recommendation from Natural Language via Hierarchical LLM Agents

Tao Zhe, Rui Liu, Fateme Memar, Xiao Luo, Wei Fan, Xinyue Ye, Zhongren Peng, Dongjie Wang

机构 * University of Kansas（堪萨斯大学） ； UW–Madison（威斯康星大学麦迪逊分校） ； University of Auckland（奥克兰大学） ； University of Alabama（阿拉巴马大学） ； University of Florida（佛罗里达大学） 纠错

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

Fine-Grained and Thematic Evaluation of LLMs in Social Deduction Game

Byungjun Kim, Dayeon Seo, Minju Kim, Bugeun Kim

机构 * Department of Artificial Intelligence, Chung-Ang University, Seoul, Republic of Korea（人工智能系， Chung-Ang大学，首尔，韩国） 纠错

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

Comments Published in IEEE Access

NASP-T: A Fuzzy Neuro-Symbolic Transformer for Logic-Constrained Aviation Safety Report Classification

Fadi Al Machot, Fidaa Al Machot

机构 * Faculty of Science and Technology (REALTEK)（科学与技术学院） ； Norwegian University of Life Sciences (NMBU)（挪威生命科学大学） ； Dresden International University (DIU)（德累斯顿国际大学） 纠错

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

The Logical Implication Steering Method for Conditional Interventions on Transformer Generation

Damjan Kalajdzievski

机构 * Damjan Kalajdzievski（独立研究者） 纠错

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

Journal ref Forty-second International Conference on Machine Learning, 2025

LexiCon: a Benchmark for Planning under Temporal Constraints in Natural Language

Periklis Mantenoglou, Rishi Hazra, Pedro Zuidberg Dos Martires, Luc De Raedt

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

Distilling On-device Language Models for Robot Planning with Minimal Human Intervention

Zachary Ravichandran, Ignacio Hounie, Fernando Cladera, Alejandro Ribeiro, George J. Pappas, Vijay Kumar

机构 * University of Pennsylvania（宾夕法尼亚大学） 纠错

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

Comments Accepted to the Conference on Robot Learning (CoRL) 2025

Unifying Inference-Time Planning Language Generation

Prabhu Prakash Kagitha, Bo Sun, Ishan Desai, Andrew Zhu, Cassie Huang, Manling Li, Ziyang Li, Li Zhang

机构 * Drexel University（德雷塞尔大学） ； University of Pennsylvania（宾夕法尼亚大学） ； Northwestern University（西北大学） ； Johns Hopkins University（约翰霍普金斯大学） 纠错

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

Expected Free Energy-based Planning as Variational Inference

Bert de Vries, Wouter Nuijten, Thijs van de Laar, Wouter Kouw, Sepideh Adamiat, Tim Nisslbeck, Mykola Lukashchuk, Hoang Minh Huu Nguyen, Marco Hidalgo Araya, Raphael Tresor, Thijs Jenneskens, Ivana Nikoloska, Raaja Ganapathy Subramanian, Bart van Erp, Dmitry Bagaev, Albert Podusenko

机构 * Eindhoven University of Technology（埃因霍温理工大学） ； Lazy Dynamics B.V.（Lazy Dynamics公司） ； ASML（ASML公司） 纠错

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

Comments 18 pages

Reinforcement Learning for Clinical Reasoning: Aligning LLMs with ACR Imaging Appropriateness Criteria

Anni Tziakouri, Filippo Menolascina

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

Capacity-Aware Planning and Scheduling in Budget-Constrained Multi-Agent MDPs: A Meta-RL Approach

Manav Vora, Ilan Shomorony, Melkior Ornik

机构 * University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） 纠错

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

Pushing Test-Time Scaling Limits of Deep Search with Asymmetric Verification

Weihao Zeng, Keqing He, Chuqiao Kuang, Xiaoguang Li, Junxian He

机构 * The Hong Kong University of Science and Technology（香港科学与技术大学） ； BUPT（北京邮电大学） ； Huawei Noah’s Ark Lab（华为诺亚实验室） 纠错

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

Generative AI-Driven Hierarchical Multi-Agent Framework for Zero-Touch Optical Networks

Yao Zhang, Yuchen Song, Shengnan Li, Yan Shi, Shikui Shen, Xiongyan Tang, Min Zhang, Danshi Wang

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

Comments 7 pages,6 figures, Accepted by lEEE Communications Magazine, Open call

Classical AI vs. LLMs for Decision-Maker Alignment in Health Insurance Choices

Mallika Mainali, Harsha Sureshbabu, Anik Sen, Christopher B. Rauch, Noah D. Reifsnyder, John Meyer, J. T. Turner, Michael W. Floyd, Matthew Molineaux, Rosina O. Weber

机构 * Information Science, Drexel University, Philadelphia, PA 19104 USA ； Parallax Advanced Research, 4035 Colonel Glenn Hwy, Beavercreek, OH 45431 USA ； Knexus Research, 174 Waterfront Street, Suite 310, National Harbor, Oxon Hill, MD 20745 USA ； Information Science \& Computer Science, Drexel University, Philadelphia, PA 19104 USA 纠错

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

Comments 15 pages, 3 figures. Accepted at the Twelfth Annual Conference on Advances in Cognitive Systems (ACS 2025)

Medical Vision Language Models as Policies for Robotic Surgery

Akshay Muppidi, Martin Radfar

机构 * Department of Computer Science（计算机科学系） ； Stony Brook University（史泰尼斯布鲁克大学） 纠错

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

Comments IEEE CAI 2025

Journal ref 2025 IEEE Conference on Artificial Intelligence (CAI), Santa Clara, CA, USA, 2025, pp. 513,518

WebWeaver: Structuring Web-Scale Evidence with Dynamic Outlines for Open-Ended Deep Research

Zijian Li, Xin Guan, Bo Zhang, Shen Huang, Houquan Zhou, Shaopeng Lai, Ming Yan, Yong Jiang, Pengjun Xie, Fei Huang, Jun Zhang, Jingren Zhou

机构 * Tongyi Lab（通义实验室） ； Alibaba Group（阿里巴巴集团） 纠错

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

Comments An agent system for open-ended deep research

Syn-Diag: An LLM-based Synergistic Framework for Generalizable Few-shot Fault Diagnosis on the Edge

Zijun Jia, Shuang Liang, Jinsong Yu

机构 * Beihang University（北京航空航天大学） 纠错

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

Midway Network: Learning Representations for Recognition and Motion from Latent Dynamics

Christopher Hoang, Mengye Ren

机构 * New York University（纽约大学） 纠错

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

Comments Project page: https://agenticlearning.ai/midway-network/

Graph-based LLM over Semi-Structured Population Data for Dynamic Policy Response

Daqian Shi, Xiaolei Diao, Jinge Wu, Honghan Wu, Xiongfeng Tang, Felix Naughton, Paulina Bondaronek

机构 * Institute of Health Informatics, UCL, UK（健康信息学研究所，伦敦大学学院，英国） ； School of Electronic Engineering and Computer Science, QMUL, UK（电子工程与计算机科学学院，伦敦大学玛丽王后学院，英国） ； School of Health and Wellbeing, University of Glasgow, UK（健康与福祉学院，格拉斯哥大学，英国） ； The Second Norman Bethune Hospital of Jilin University, China（吉林大学第二诺曼·贝图医院，中国） ； School of Health Sciences, University of East Anglia, UK（健康科学学院，东安格利亚大学，英国） 纠错

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

Comments Accepted by Efficient Medical AI 2025 Workshop, MICCAI 2025

Collaborative and Proactive Management of Task-Oriented Conversations

Arezoo Saedi, Afsaneh Fatemi, Mohammad Ali Nematbakhsh, Sophie Rosset, Anne Vilnat

机构 * University of Isfahan（伊斯法罕大学） ； Paris-Saclay University（巴黎-萨克雷大学） ； Université Paris-Saclay（巴黎-萨克雷大学） 纠错

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

TimeSeriesScientist: A General-Purpose AI Agent for Time Series Analysis

Haokun Zhao, Xiang Zhang, Jiaqi Wei, Yiwei Xu, Yuting He, Siqi Sun, Chenyu You

机构 * Stony Brook University（石溪大学） ； University of California, San Diego（加州大学圣地亚哥分校） ； University of British Columbia（不列颠哥伦比亚大学） ； Zhejiang University（浙江大学） ； University of California, Los Angeles（加州大学洛杉矶分校） ； Case Western Reserve University（凯斯西储大学） ； Fudan University（复旦大学） 纠错

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