大模型推理能力

Curriculum Design for Trajectory-Constrained Agent: Compressing Chain-of-Thought Tokens in LLMs

Georgios Tzannetos, Parameswaran Kamalaruban, Adish Singla

机构 * MPI-SWS（马克斯·普朗克所际研究所） 纠错

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

Comments NeurIPS'25 paper

FlowRL: Matching Reward Distributions for LLM Reasoning

Xuekai Zhu, Daixuan Cheng, Dinghuai Zhang, Hengli Li, Kaiyan Zhang, Che Jiang, Youbang Sun, Ermo Hua, Yuxin Zuo, Xingtai Lv, Qizheng Zhang, Lin Chen, Fanghao Shao, Bo Xue, Yunchong Song, Zhenjie Yang, Ganqu Cui, Ning Ding, Jianfeng Gao, Xiaodong Liu, Bowen Zhou, Hongyuan Mei, Zhouhan Lin

机构 * Shanghai Jiao Tong University（上海交通大学） ； Shanghai AI Laboratory（上海人工智能实验室） ； Microsoft Research（微软研究院） ； Tsinghua University（清华大学） ； Peking University（北京大学） ； Renmin University of China（中国人民大学） ； Stanford University（斯坦福大学） ； Toyota Technological Institute at Chicago（芝加哥丰田技术研究所） 纠错

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

SpecDiff-2: Scaling Diffusion Drafter Alignment For Faster Speculative Decoding

Jameson Sandler, Jacob K. Christopher, Thomas Hartvigsen, Ferdinando Fioretto

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

QCBench: Evaluating Large Language Models on Domain-Specific Quantitative Chemistry

Jiaqing Xie, Weida Wang, Ben Gao, Zhuo Yang, Haiyuan Wan, Shufei Zhang, Tianfan Fu, Yuqiang Li

机构 * Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） ； Fudan University（复旦大学） ； Wuhan University（武汉大学） ； Xidian University（西安电子科技大学） ； Tsinghua University（清华大学） ； Nanjing University（南京大学） 纠错

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

Comments Revision at Journal of Chemical Information and Modeling

SAND-Math: Using LLMs to Generate Novel, Difficult and Useful Mathematics Questions and Answers

Chaitanya Manem, Pratik Prabhanjan Brahma, Prakamya Mishra, Zicheng Liu, Emad Barsoum

机构 * Advanced Micro Devices, Inc. (AMD)（先进微器件公司（AMD）） 纠错

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

Comments Accepted at MATH-AI workshop, NeurIPS 2025

APOLLO: Automated LLM and Lean Collaboration for Advanced Formal Reasoning

Azim Ospanov, Farzan Farnia, Roozbeh Yousefzadeh

机构 * Huawei Hong Kong Research Center（华为香港研究中心） ； Department of Computer Science & Engineering, The Chinese University of Hong Kong（香港中文大学计算机科学与工程系） 纠错

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

Open the Oyster: Empirical Evaluation and Improvement of Code Reasoning Confidence in LLMs

Shufan Wang, Xing Hu, Junkai Chen, Zhiyuan Pan, Xin Xia

机构 * Singapore Management University（新加坡国立管理学院） 纠错

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

Comments 13 pages, 4 figures

A Survey on LLM Mid-Training

Chengying Tu, Xuemiao Zhang, Rongxiang Weng, Rumei Li, Chen Zhang, Yang Bai, Hongfei Yan, Jingang Wang, Xunliang Cai

机构 * Peking University（北京大学） ； Meituan（美团） 纠错

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

AndroByte: LLM-Driven Privacy Analysis through Bytecode Summarization and Dynamic Dataflow Call Graph Generation

Mst Eshita Khatun, Lamine Noureddine, Zhiyong Sui, Aisha Ali-Gombe

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

Comments Accepted at the Annual Computer Security Applications Conference (ACSAC) 2025

Personalized Decision Modeling: Utility Optimization or Textualized-Symbolic Reasoning

Yibo Zhao, Yang Zhao, Hongru Du, Hao Frank Yang

机构 * Department of Civil and Systems Engineering（土木与系统工程系） ； Johns Hopkins University（约翰霍普金斯大学） ； Department of Systems and Information Engineering（系统与信息工程系） ； University of Virginia（弗吉尼亚大学） ； Johns Hopkins Data Science and AI Institute（约翰霍普金斯大学数据科学与人工智能研究所） 纠错

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

Investigating the Experience of Autistic Individuals in Software Engineering

Madalena Sasportes, Grischa Liebel, Miguel Goulão

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

Thinking Like a Student: AI-Supported Reflective Planning in a Theory-Intensive Computer Science Course

Noa Izsak

机构 * Noa Izsak（独立研究者） 纠错

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

Comments 7 pages, 4 figures

Large-scale automatic carbon ion treatment planning for head and neck cancers via parallel multi-agent reinforcement learning

Jueye Zhang, Chao Yang, Youfang Lai, Kai-Wen Li, Wenting Yan, Yunzhou Xia, Haimei Zhang, Jingjing Zhou, Gen Yang, Chen Lin, Tian Li, Yibao Zhang

机构 * 1 State Key Laboratory of Nuclear Physics ； Technology, Institute of Heavy Ion Physics, Peking University School of Physics, Beijing 100871, China. ； 2 Key Laboratory of Carcinogenesis ； Translational Research (Ministry of Education/Beijing), Department of Radiation Oncology, Peking University Cancer Hospital \& Institute, Beijing 100142, China. ； 3 Department of Technology, CAS Ion Medical Technology Co., Ltd., Beijing 100190, China. ； 4 Department of Health Technology ； Informatics, The Hong Kong Polytechnic University, Hong Kong SAR, 999077, China. 纠错

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

VFocus: Better Verilog Generation from Large Language Model via Focused Reasoning

Zhuorui Zhao, Bing Li, Grace Li Zhang, Ulf Schlichtmann

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

Comments accepted by SOCC 2025

Agentic AI for Mobile Network RAN Management and Optimization

Jorge Pellejero, Luis A. Hernández Gómez, Luis Mendo Tomás, Zoraida Frias Barroso

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

Program Synthesis Dialog Agents for Interactive Decision-Making

Matthew Toles, Nikhil Balwani, Rattandeep Singh, Valentina Giulia Sartori Rodriguez, Zhou Yu

机构 * Columbia University（哥伦比亚大学） ； Amazon（亚马逊） ； Sciences Po Paris（巴黎社会科学高等研究院） 纠错

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

Quantitative Risk Assessment in Radiation Oncology via LLM-Powered Root Cause Analysis of Incident Reports

Yuntao Wang, Siamak P. Najad-Davarani, Elizabeth Bossart, Matthew T. Studenski, Mariluz De Ornelas, Yunze Yang

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

Generalisation Bounds of Zero-Shot Economic Forecasting using Time Series Foundation Models

Jittarin Jetwiriyanon, Teo Susnjak, Surangika Ranathunga

机构 * School of Mathematical and Computational Sciences（数学与计算科学学院） ； Massey University（马斯杰大学） 纠错

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

A Large Language Model for Corporate Credit Scoring

Chitro Majumdar, Sergio Scandizzo, Ratanlal Mahanta, Avradip Mandal, Swarnendu Bhattacharjee

机构 * RsRL (R-square RiskLab)（RsRL（R-square RiskLab）） 纠错

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

Street Review: A Participatory AI-Based Framework for Assessing Streetscape Inclusivity

Rashid Mushkani, Shin Koseki

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

Journal ref Cities, 170, 106602 (2026)

GeoSDF: Plane Geometry Diagram Synthesis via Signed Distance Field

Chengrui Zhang, Maizhen Ning, Tianyi Liu, Zihao Zhou, Jie Sun, Qiufeng Wang, Kaizhu Huang

机构 * Xi’an Jiaotong-Liverpool University（西安交通大学利物浦大学） ； Duke Kunshan University（杜克大学昆山分校） 纠错

专题命中 视觉空间推理 ：reasoning(abstract)

Apriel-H1: Towards Efficient Enterprise Reasoning Models

Oleksiy Ostapenko, Luke Kumar, Raymond Li, Denis Kocetkov, Joel Lamy-Poirier, Shruthan Radhakrishna, Soham Parikh, Shambhavi Mishra, Sebastien Paquet, Srinivas Sunkara, Valérie Bécaert, Sathwik Tejaswi Madhusudhan, Torsten Scholak

机构 * SLAM Lab（SLAM实验室） ； ServiceNow 纠错

专题命中 测试时计算 ：reasoning(title,abstract)；test-time compute(abstract)；分类 cs.AI、cs.LG

DreamPRM: Domain-Reweighted Process Reward Model for Multimodal Reasoning

Qi Cao, Ruiyi Wang, Ruiyi Zhang, Sai Ashish Somayajula, Pengtao Xie

机构 * University of California, San Diego（加州大学圣地亚哥分校） ； Mohamed bin Zayed University of Artificial Intelligence (MBZUAI)（穆罕默德·本·扎耶德人工智能大学） 纠错

专题命中 测试时计算 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

Comments 28 pages, 10 figures, to appear in NeurIPS 2025 (Conference on Neural Information Processing Systems)

Inference-Time Chain-of-Thought Pruning with Latent Informativeness Signals

Sophie Li, Nicholas Huang, Nayan Saxena, Nina Luo, Vincent Lin, Kevin Zhu, Sunishchal Dev

专题命中 测试时计算 ：chain-of-thought(title)；reasoning(abstract,comments)；分类 cs.LG

Comments Accepted by NeurIPS 2025 Workshop on Efficient Reasoning

TwT: Thinking without Tokens by Habitual Reasoning Distillation with Multi-Teachers' Guidance

Jingxian Xu, Mengyu Zhou, Weichang Liu, Hanbing Liu, Shi Han, Dongmei Zhang

机构 * Nankai University（南开大学） ； BeijingJiaoTong University（北京交通大学） ； Tsinghua University（清华大学） ； Microsoft Research（微软研究院） 纠错

专题命中 测试时计算 ：reasoning(title,abstract)；分类 cs.CL

The Sequential Edge: Inverse-Entropy Voting Beats Parallel Self-Consistency at Matched Compute

Aman Sharma, Paras Chopra

机构 * Lossfunk 纠错

专题命中 测试时计算 ：reasoning(abstract)；分类 cs.AI、cs.LG

Path-Consistency with Prefix Enhancement for Efficient Inference in LLMs

Jiace Zhu, Yuanzhe Huang, Yingtao Shen, Jie Zhao, An Zou

机构 * Shanghai Jiao Tong University（上海交通大学） ； Microsoft Corporation（微软公司） 纠错

专题命中 测试时计算 ：reasoning(abstract)；分类 cs.CL、cs.AI

Training Language Models to Reason Efficiently

Daman Arora, Andrea Zanette

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

专题命中 测试时计算 ：reasoning(abstract)；分类 cs.CL、cs.LG

Comments NeurIPS 2025

ChartM$^3$: A Multi-Stage Code-Driven Pipeline for Constructing Multi-Dimensional and Multi-Step Visual Reasoning Data in Chart Comprehension

Duo Xu, Hao Cheng, Xin Lin, Zhen Xie, Hao Wang

机构 * Alibaba Cloud Computing（阿里巴巴云计算） 纠错

专题命中 复杂问题求解 ：reasoning(title,abstract)；chain-of-thought(abstract)；CoT(abstract)

Comments 23 pages, EMNLP25 Accepted

Unlocking the Power of Multi-Agent LLM for Reasoning: From Lazy Agents to Deliberation

Zhiwei Zhang, Xiaomin Li, Yudi Lin, Hui Liu, Ramraj Chandradevan, Linlin Wu, Minhua Lin, Fali Wang, Xianfeng Tang, Qi He, Suhang Wang

机构 * The Pennsylvania State University（宾夕法尼亚州立大学） ； Harvard University（哈佛大学） ； Michigan State University（密歇根州立大学） ； University of Utah（犹他大学） ； Microsoft（微软公司） 纠错

专题命中 复杂问题求解 ：reasoning(title,abstract)；分类 cs.CL、cs.AI