大模型推理能力

Reinforcement learning fine-tuning of language model for instruction following and math reasoning

Yifu Han, Geo Zhang

机构 * Stanford University（斯坦福大学） 纠错

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

JT-Math: A Multi-Stage Framework for Advanced Mathematical Reasoning in Large Language Models

Yifan Hao, Fangning Chao, Yaqian Hao, Zhaojun Cui, Huan Bai, Haiyu Zhang, Yankai Liu, Chao Deng, Junlan Feng

机构 * China Mobile Research Institute Beijing, China（中国移动研究院北京） 纠错

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

Enhancing LLM Reasoning with Iterative DPO: A Comprehensive Empirical Investigation

Songjun Tu, Jiahao Lin, Xiangyu Tian, Qichao Zhang, Linjing Li, Yuqian Fu, Nan Xu, Wei He, Xiangyuan Lan, Dongmei Jiang, Dongbin Zhao

机构 * Institute of Automation, Chinese Academy of Sciences（中国科学院自动化研究所） ； Pengcheng Laboratory（鹏城实验室） ； School of Artificial Intelligence, University of Chinese Academy of Sciences（中国科学院大学人工智能学院） ； Wenge Technology（文生科技） ； Fudan University（复旦大学） 纠错

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

Comments 23pages

Journal ref COLM2025

The Policy Cliff: A Theoretical Analysis of Reward-Policy Maps in Large Language Models

Xingcheng Xu

机构 * Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） 纠错

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

LLMs-guided adaptive compensator: Bringing Adaptivity to Automatic Control Systems with Large Language Models

Zhongchao Zhou, Yuxi Lu, Yaonan Zhu, Yifan Zhao, Bin He, Liang He, Wenwen Yu, Yusuke Iwasawa

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

From Answers to Rationales: Self-Aligning Multimodal Reasoning with Answer-Oriented Chain-of-Thought

Wentao Tan, Qiong Cao, Yibing Zhan, Chao Xue, Changxing Ding

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

Critique of Impure Reason: Unveiling the reasoning behaviour of medical Large Language Models

Shamus Sim, Tyrone Chen

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

Comments 25 pages, 7 figures, 3 tables. Conceptualization, both authors. formal analysis, both authors. funding acquisition, both authors. investigation, both authors. resources, both authors. supervision, T.C.. validation, both authors. visualization, both authors. writing original draft, both authors. writing review and editing, both authors

On the Limits of Hierarchically Embedded Logic in Classical Neural Networks

Bill Cochran

机构 * Bill Cochran 纠错

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

Comments 9 pages

Wavelet Logic Machines: Learning and Reasoning in the Spectral Domain Without Neural Networks

Andrew Kiruluta

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

Can LLMs Solve ASP Problems? Insights from a Benchmarking Study (Extended Version)

Lin Ren, Guohui Xiao, Guilin Qi, Yishuai Geng, Haohan Xue

机构 * School of Computer Science and Engineering, Southeast University, Nanjing, China（计算机科学与工程学院，东南大学，南京，中国） ； Key Laboratory of New Generation Artificial Intelligence Technology and Its Interdisciplinary Applications (Southeast University), Ministry of Education, China（新一代人工智能技术及其跨学科应用关键实验室（东南大学），教育部，中国） 纠错

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

Comments Accepted for publication at the 22nd International Conference on Principles of Knowledge Representation and Reasoning (KR 2025). The code is available at https://github.com/HomuraT/ASPBench

Speaking in Words, Thinking in Logic: A Dual-Process Framework in QA Systems

Tuan Bui, Trong Le, Phat Thai, Sang Nguyen, Minh Hua, Ngan Pham, Thang Bui, Tho Quan

机构 * Ho Chi Minh City University of Technology (HCMUT)（胡志明市技术大学） 纠错

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

Comments 8 pages, 3 figures. Accepted at the International Joint Conference on Neural Networks (IJCNN) 2025, Workshop on Trustworthiness and Reliability in Neuro-Symbolic AI. https://2025.ijcnn.org

From Reasoning to Super-Intelligence: A Search-Theoretic Perspective

Shai Shalev-Shwartz, Amnon Shashua

机构 * AA-I, July 2025（AA-I） 纠错

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

VLMPlanner: Integrating Visual Language Models with Motion Planning

Zhipeng Tang, Sha Zhang, Jiajun Deng, Chenjie Wang, Guoliang You, Yuting Huang, Xinrui Lin, Yanyong Zhang

机构 * University of Science and Technology of China（科学技术大学） ； University of Adelaide（阿德莱德大学） ； Institute of Artificial Intelligence, Hefei Comprehensive National Science Center（合肥综合性国家科学中心人工智能研究院） 纠错

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

Comments 8 pages, 3 figures, this paper has been accepted by ACM MM 2025

Hanging Around: Cognitive Inspired Reasoning for Reactive Robotics

Mihai Pomarlan, Stefano De Giorgis, Rachel Ringe, Maria M. Hedblom, Nikolaos Tsiogkas

机构 * Applied Linguistics Department University of Bremen（应用语言学系 比勒feld大学） ； Digital Media Lab University of Bremen（数字媒体实验室 比勒feld大学） ； Department of Computer Science KU Leuven（计算机科学系 卢森堡大学） 纠错

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

Comments This article is published online with Open Access by IOS Press and distributed under the terms of the Creative Commons Attribution Non-Commercial License 4.0 (CC BY-NC 4.0)

Journal ref Frontiers in Artificial Intelligence and Applications; 2024; Vol. 394; pp. 2 - 15

Agentic Reinforced Policy Optimization

Guanting Dong, Hangyu Mao, Kai Ma, Licheng Bao, Yifei Chen, Zhongyuan Wang, Zhongxia Chen, Jiazhen Du, Huiyang Wang, Fuzheng Zhang, Guorui Zhou, Yutao Zhu, Ji-Rong Wen, Zhicheng Dou

机构 * Renmin University of China（中国人民大学） ； Kuaishou Technology（快手科技） 纠错

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

Comments Working on progress

ADAgent: LLM Agent for Alzheimer's Disease Analysis with Collaborative Coordinator

Wenlong Hou, Guangqian Yang, Ye Du, Yeung Lau, Lihao Liu, Junjun He, Ling Long, Shujun Wang

机构 * 1 Department of Biomedical Engineering, The Hong Kong Polytechnic University, Hong Kong SAR, China 2 Amazon, USA 3 Shanghai Artificial Intelligence Laboratory, China 4 Department of Geriatrics, Third Affiliated Hospital of Sun Yat-sen University, China 5 Research Institute for Smart Ageing, The Hong Kong Polytechnic University, Hong Kong SAR, China 纠错

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

Enhancing Large Multimodal Models with Adaptive Sparsity and KV Cache Compression

Te Zhang, Yuheng Li, Junxiang Wang, Lujun Li

机构 * University of Michigan（密歇根大学） ； Johns Hopkins University（约翰霍普金斯大学） ； Central South university（中南大学） ； HKGAI 纠错

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

Comments 6 pages

Efficient and Scalable Agentic AI with Heterogeneous Systems

Zain Asgar, Michelle Nguyen, Sachin Katti

机构 * Stanford University（斯坦福大学） ； Gimlet Labs Inc.（Gimlet实验室） ； Intel（英特尔） 纠错

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

Comments Early access preprint

Beyond 9-to-5: A Generative Model for Augmenting Mobility Data of Underrepresented Shift Workers

Haoxuan Ma, Xishun Liao, Yifan Liu, Chris Stanford, Jiaqi Ma

机构 * Department of Civil and Environmental Engineering, Samueli School of Engineering, University of California at Los Angeles（土木与环境工程系，工程学院，加州大学洛杉矶分校） ； Novateur Research Solutions（Novateur研究解决方案） 纠错

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

Enhancing QoS in Edge Computing through Federated Layering Techniques: A Pathway to Resilient AI Lifelong Learning Systems

Chengzhuo Han

机构 * School of Cyber Science and Engineering, Southeast University, China（东南大学计算机科学与工程学院） ； Peng Cheng Laboratory, China（鹏城实验室） ； Navigation College, Dalian Maritime University, China（大连海事大学航海学院） 纠错

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

Matching Game Preferences Through Dialogical Large Language Models: A Perspective

Renaud Fabre, Daniel Egret, Patrice Bellot

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

Comments 28 pages, 1 figure. Published in Applied Sciences

Journal ref Applied Sciences, 2025, 15(15), 8307

AgentMesh: A Cooperative Multi-Agent Generative AI Framework for Software Development Automation

Sourena Khanzadeh

机构 * Toronto Metropolitan University（多伦多 Metropolitan 大学） 纠错

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

Large Language Model Powered Decision Support for a Metal Additive Manufacturing Knowledge Graph

Muhammad Tayyab Khan, Lequn Chen, Wenhe Feng, Seung Ki Moon

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

Comments The paper has been accepted at 11th International Conference of Asian Society for Precision Engineering and Nanotechnology

Real-Time LaCAM for Real-Time MAPF

Runzhe Liang, Rishi Veerapaneni, Daniel Harabor, Jiaoyang Li, Maxim Likhachev

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

Comments Published at the International Symposium on Combinatorial Search 2025 (SoCS 2025)

Large-Scale Mixed-Traffic and Intersection Control using Multi-agent Reinforcement Learning

Songyang Liu, Muyang Fan, Weizi Li, Jing Du, Shuai Li

机构 * Department of Civil and Coastal Engineering at University of Florida（佛罗里达大学土木与海岸工程系） ； Department of Computer Science at University of Memphis（密苏里大学计算机科学系） ； Min H. Kao Department of Electrical Engineering and Computer Science at University of Tennessee（田纳西大学电子工程与计算机科学系） 纠错

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

Comments Accepted to IEEE/RSJ International Conference on Intelligent Robots and Systems (IROS), 2025

A Comparative Analysis of Traditional and Deep Learning Time Series Architectures for Influenza A Infectious Disease Forecasting

Edmund F. Agyemang, Hansapani Rodrigo, Vincent Agbenyeavu

机构 * School of Mathematical and Statistical Sciences, College of Sciences, University of Texas Rio Grande Valley（德克萨斯里奥格兰德谷大学数学与统计学学院，科学学院） ； Department of Biostatistics and Data Science, Celia Scott Weatherhead School of Public Health and Tropical Medicine at Tulane University（路易斯安那大学热带医学与公共卫生学院生物统计学与数据科学系） 纠错

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

Adapting Vehicle Detectors for Aerial Imagery to Unseen Domains with Weak Supervision

Xiao Fang, Minhyek Jeon, Zheyang Qin, Stanislav Panev, Celso de Melo, Shuowen Hu, Shayok Chakraborty, Fernando De la Torre

机构 * Carnegie Mellon University（卡内基梅隆大学） ； DEVCOM Army Research Laboratory（陆军研究实验室） ； Florida State University（佛罗里达州立大学） 纠错

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

Comments ICCV 2025

Advancing Shared and Multi-Agent Autonomy in Underwater Missions: Integrating Knowledge Graphs and Retrieval-Augmented Generation

Michele Grimaldi, Carlo Cernicchiaro, Sebastian Realpe Rua, Alaaeddine El-Masri-El-Chaarani, Markus Buchholz, Loizos Michael, Pere Ridao Rodriguez, Ignacio Carlucho, Yvan R. Petillot

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

Strategic Motivators for Ethical AI System Development: An Empirical and Holistic Model

Muhammad Azeem Akbar, Arif Ali Khan, Saima Rafi, Damian Kedziora, Sami Hyrynsalmi

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

PhysVarMix: Physics-Informed Variational Mixture Model for Multi-Modal Trajectory Prediction

Haichuan Li, Tomi Westerlund

机构 * Turku Intelligent Embedded and Robotics Systems lab, Faculty of Technology University of Turku（图尔库智能嵌入式与机器人系统实验室，技术学院图尔库大学） 纠错

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