大模型推理能力

Chain-of-Reasoning: Towards Unified Mathematical Reasoning in Large Language Models via a Multi-Paradigm Perspective

Yiyao Yu, Yuxiang Zhang, Dongdong Zhang, Xiao Liang, Hengyuan Zhang, Xingxing Zhang, Ziyi Yang, Mahmoud Khademi, Hany Awadalla, Junjie Wang, Yujiu Yang, Furu Wei

机构 * Microsoft Research Asia（微软亚洲研究院） ； Tsinghua University（清华大学） 纠错

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

Comments Accepted to ACL 2025 (Main)

Is Random Attention Sufficient for Sequence Modeling? Disentangling Trainable Components in the Transformer

Yihe Dong, Lorenzo Noci, Mikhail Khodak, Mufan Li

机构 * Princeton University（普林斯顿大学） ； ETH Zurich（苏黎世联邦理工学院） 纠错

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

Autoformalization in the Wild: Assessing LLMs on Real-World Mathematical Definitions

Lan Zhang, Marco Valentino, Andre Freitas

机构 * Department of Computer Science, University of Manchester（曼彻斯特大学计算机科学系） ； School of Computer Science, University of Sheffield（谢菲尔德大学计算机科学学院） ； Idiap Research Institute（Idiap研究机构） ； National Biomarker Centre, CRUK Manchester Institute（国家生物标志物中心、CRUK曼彻斯特研究所） 纠错

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

Comments EMNLP 2025 Camera-Ready Version

Intermediate Languages Matter: Formal Languages and LLMs affect Neurosymbolic Reasoning

Alexander Beiser, David Penz, Nysret Musliu

机构 * Johannes Kepler University Linz（约翰内斯·开普勒大学林茨） 纠错

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

Comments To appear in the proceedings of The Second Workshop on Knowledge Graphs and Neurosymbolic AI (KG-NeSy) Co-located with SEMANTiCS 2025 Conference, Vienna, Austria - September 3rd, 2025

Towards a Neurosymbolic Reasoning System Grounded in Schematic Representations

François Olivier, Zied Bouraoui

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

Comments To appear in Proceedings of Machine Learning Research, 19th Conference on Neurosymbolic Learning and Reasoning, 2025

AR$^2$: Adversarial Reinforcement Learning for Abstract Reasoning in Large Language Models

Cheng-Kai Yeh, Hsing-Wang Lee, Chung-Hung Kuo, Hen-Hsen Huang

机构 * Department of Mathematical Sciences National Chengchi University Taipei Taiwan（数学科学系 国立政治大学 台北 台湾） ； Department of Computer Science National Chengchi University Taipei Taiwan（计算机科学系 国立政治大学 台北 台湾） ； Institute of Information Science Academia Sinica Taipei Taiwan（信息科学研究所 中国学术院 台北 台湾） ； National Chengchi University（国立政治大学） 纠错

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

Comments 7 pages, accepted by CIKM 2025 as a short paper

Evaluating the Efficacy of LLM-Based Reasoning for Multiobjective HPC Job Scheduling

Prachi Jadhav, Hongwei Jin, Ewa Deelman, Prasanna Balaprakash

机构 * University of Tennessee, Knoxville\ Ridge National Laboratory Oak Ridge, TN USA ； Argonne National Laboratory Lemont, IL USA ； University of Southern California Los Angeles, CA USA ； Oak Ridge National Laboratory Oak Ridge, TN USA ； University of Tennessee, Knoxville\ Ridge National Laboratory ； Argonne National Laboratory ； University of Southern California ； Oak Ridge National Laboratory 纠错

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

Comments 10 pages, 6 figures, work under review

SAFE--MA--RRT: Multi-Agent Motion Planning with Data-Driven Safety Certificates

Babak Esmaeili, Hamidreza Modares

机构 * Department of Mechanical Engineering, Michigan State University（机械工程系，密歇根州立大学） 纠错

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

Comments Submitted to IEEE Transactions on Automation Science and Engineering

Theory of Mind Using Active Inference: A Framework for Multi-Agent Cooperation

Riddhi J. Pitliya, Ozan Çatal, Toon Van de Maele, Corrado Pezzato, Tim Verbelen

机构 * VERSES 纠错

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

DMN-Guided Prompting: A Framework for Controlling LLM Behavior

Shaghayegh Abedi, Amin Jalali

机构 * Politecnico di Torino（都灵理工大学） ； Stockholm University（斯德哥尔摩大学） 纠错

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

Comments Large Language Models, Decision Model and Notation, Automated Feedback, Prompt Engineering

Parking Availability Prediction via Fusing Multi-Source Data with A Self-Supervised Learning Enhanced Spatio-Temporal Inverted Transformer

Yin Huang, Yongqi Dong, Youhua Tang, Li Li

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

Comments 25 pages, 5 figures, under review for journal publication

Learning Active Perception via Self-Evolving Preference Optimization for GUI Grounding

Wanfu Wang, Qipeng Huang, Guangquan Xue, Xiaobo Liang, Juntao Li

机构 * Wanfu Wang, Qipeng Huang, Guangquan Xue, Xiaobo Liang, Juntao Li（作者） 纠错

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

FaMA: LLM-Empowered Agentic Assistant for Consumer-to-Consumer Marketplace

Yineng Yan, Xidong Wang, Jin Seng Cheng, Ran Hu, Wentao Guan, Nahid Farahmand, Hengte Lin, Yue Li

机构 * University of Texas at Austin（德克萨斯大学奥斯汀分校） ； Meta Platforms, Inc（Meta平台公司） 纠错

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

SAMVAD: A Multi-Agent System for Simulating Judicial Deliberation Dynamics in India

Prathamesh Devadiga, Omkaar Jayadev Shetty, Pooja Agarwal

机构 * PES University（PES大学） 纠错

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

DynaSaur: Large Language Agents Beyond Predefined Actions

Dang Nguyen, Viet Dac Lai, Seunghyun Yoon, Ryan A. Rossi, Handong Zhao, Ruiyi Zhang, Puneet Mathur, Nedim Lipka, Yu Wang, Trung Bui, Franck Dernoncourt, Tianyi Zhou

机构 * University of Maryland（马里兰大学） ； Adobe Research（Adobe研究院） 纠错

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

Comments Published as a conference paper at COLM 2025

Uncertainty-Guided Likelihood Tree Search

Julia Grosse, Ruotian Wu, Ahmad Rashid, Cheng Zhang, Philipp Hennig, Pascal Poupart, Agustinus Kristiadi

机构 * University of Tübingen（图宾根大学） ； Tübingen AI Center（图宾根人工智能中心） ； University of Waterloo（滑铁卢大学） ； Vector Institute（向量研究所） ； GenAI at Meta（Meta的生成式人工智能部门） 纠错

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

Comments 10 pages

Human Motion Video Generation: A Survey

Haiwei Xue, Xiangyang Luo, Zhanghao Hu, Xin Zhang, Xunzhi Xiang, Yuqin Dai, Jianzhuang Liu, Zhensong Zhang, Minglei Li, Jian Yang, Fei Ma, Zhiyong Wu, Changpeng Yang, Zonghong Dai, Fei Richard Yu

机构 * Tsinghua University（清华大学） ； Shenzhen Institutes of Advanced Technology, Chinese Academy of Sciences（中国科学院深圳先进技术研究所） ； Huawei Noah’s Ark Lab（华为诺亚实验室） ； School of Mathematics and Statistics, Xi’an Jiaotong University（西安交通大学数学与统计学学院） ； Artificial Intelligence Innovation and Incubation (Al’) Institute of Fudan University（复旦大学人工智能创新与孵化院） ； University of Chinese Academy of Sciences（中国科学院大学） ； PCA Lab, Nanjing University of Science and Technology（南京理工大学PCA实验室） ； Guangdong Laboratory of Artificial Intelligence and Digital Economy (SZ)（广东人工智能与数字经济实验室（深圳）） ； Shenzhen University and Carleton University（深圳大学和卡尔顿大学） 纠错

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

Comments Accepted by TPAMI. Github Repo: https://github.com/Winn1y/Awesome-Human-Motion-Video-Generation IEEE Access: https://ieeexplore.ieee.org/document/11106267

Journal ref IEEE Transactions on Pattern Analysis and Machine Intelligence 2025

Advancing Positron Emission Tomography Image Quantification: Artificial Intelligence-Driven Methods, Clinical Challenges, and Emerging Opportunities in Long-Axial Field-of-View Positron Emission Tomography/Computed Tomography Imaging

Fereshteh Yousefirizi, Movindu Dassanayake, Alejandro Lopez, Andrew Reader, Gary J. R. Cook, Clemens Mingels, Arman Rahmim, Robert Seifert, Ian Alberts

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

Journal ref PET Clinics. 2025 Aug 29

Efficient Odd-One-Out Anomaly Detection

Silvio Chito, Paolo Rabino, Tatiana Tommasi

机构 * Politecnico di Torino（托斯尼亚理工学院） 纠错

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

Comments Accepted at ICIAP 2025

A Comprehensive Survey on Trustworthiness in Reasoning with Large Language Models

Yanbo Wang, Yongcan Yu, Jian Liang, Ran He

机构 * School of Artificial Intelligence, University of Chinese Academy of Sciences（人工智能学院，中国科学院大学） ； NLPR & MAIS, Institute of Automation, Chinese Academy of Sciences（神经语言处理与机器智能中心，中国科学院自动化研究所） 纠错

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

Comments 38 pages. This survey considers papers published up to June 30, 2025. Work in progress

Psychologically Enhanced AI Agents

Maciej Besta, Shriram Chandran, Robert Gerstenberger, Mathis Lindner, Marcin Chrapek, Sebastian Hermann Martschat, Taraneh Ghandi, Patrick Iff, Hubert Niewiadomski, Piotr Nyczyk, Jürgen Müller, Torsten Hoefler

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

RTQA : Recursive Thinking for Complex Temporal Knowledge Graph Question Answering with Large Language Models

Zhaoyan Gong, Juan Li, Zhiqiang Liu, Lei Liang, Huajun Chen, Wen Zhang

机构 * Zhejiang University（浙江大学） ； Ant Group（蚂蚁集团） ； ZJU-Ant Group Joint Lab of Knowledge Graph（浙江大学-蚂蚁集团知识图谱联合实验室） 纠错

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

Comments EMNLP 2025

IC-Cache: Efficient Large Language Model Serving via In-context Caching

Yifan Yu, Yu Gan, Nikhil Sarda, Lillian Tsai, Jiaming Shen, Yanqi Zhou, Arvind Krishnamurthy, Fan Lai, Henry M. Levy, David Culler

机构 * University of Illinois Urbana-Champaign ； Google ； Google \& University of Washington 纠错

专题命中 复杂问题求解 ：reasoning(abstract)；分类 cs.LG

Understanding Space Is Rocket Science -- Only Top Reasoning Models Can Solve Spatial Understanding Tasks

Nils Hoehing, Mayug Maniparambil, Ellen Rushe, Noel E. O'Connor, Anthony Ventresque

机构 * School of Computer Science（计算机科学学院） ； University College Dublin（都柏林大学） ； School of Computing（计算机科学学院） ； Dublin City University（都柏林城市大学） ； School of Electronic Engineering（电子工程学院） ； Trinity College Dublin（都柏林三一学院） 纠错

专题命中 推理评测 ：reasoning(title,abstract)；chain-of-thought(abstract)；分类 cs.CL、cs.AI、cs.LG

FRIDA to the Rescue! Analyzing Synthetic Data Effectiveness in Object-Based Common Sense Reasoning for Disaster Response

Mollie Shichman, Claire Bonial, Austin Blodgett, Taylor Hudson, Francis Ferraro, Rachel Rudinger

机构 * University of Maryland, College Park（马里兰大学学院市分校） ； Army Research Lab（陆军研究实验室） ； Oak Ridge Associated Universities（橡树岭关联大学） ； University of Maryland, Baltimore County（马里兰大学巴尔的摩县分校） 纠错

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

Comments 8 pages, 3 figures, 5 tables

Context Reasoner: Incentivizing Reasoning Capability for Contextualized Privacy and Safety Compliance via Reinforcement Learning

Wenbin Hu, Haoran Li, Huihao Jing, Qi Hu, Ziqian Zeng, Sirui Han, Heli Xu, Tianshu Chu, Peizhao Hu, Yangqiu Song

机构 * HKUST（香港科技大学） ； South China University of Technology（华南理工大学） ； Huawei Technologies（华为技术有限公司） 纠错

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

Comments Accepted to EMNLP 2025 Main

VulRTex: A Reasoning-Guided Approach to Identify Vulnerabilities from Rich-Text Issue Report

Ziyou Jiang, Mingyang Li, Guowei Yang, Lin Shi, Qing Wang

专题命中 推理评测 ：reasoning(title,abstract)

Comments 25 pages, 7 figures, submitting to TOSEM journal

CANDY: Benchmarking LLMs' Limitations and Assistive Potential in Chinese Misinformation Fact-Checking

Ruiling Guo, Xinwei Yang, Chen Huang, Tong Zhang, Yong Hu

机构 * School of Cyber Science and Engineering, Sichuan University, China（四川大学网络科学与工程学院） ； College of Computer Science, Sichuan University, China（四川大学计算机学院） ； Institute of Data Science, National University of Singapore, Singapore（新加坡国立大学数据科学研究所） 纠错

专题命中 推理评测 ：reasoning(abstract)；chain-of-thought(abstract)；分类 cs.CL、cs.AI

Comments Findings of EMNLP 2025

ResearchPulse: Building Method-Experiment Chains through Multi-Document Scientific Inference

Qi Chen, Jingxuan Wei, Zhuoya Yao, Haiguang Wang, Gaowei Wu, Bihui Yu, Siyuan Li, Cheng Tan

机构 * University of Chinese Academy of Sciences（中国科学院大学） ； Zhejiang University（浙江大学） ； Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） 纠错

专题命中 推理评测 ：reasoning(abstract)；planning(abstract)；分类 cs.CL

Comments Accepted to ACM MM 2025

Facts Fade Fast: Evaluating Memorization of Outdated Medical Knowledge in Large Language Models

Juraj Vladika, Mahdi Dhaini, Florian Matthes

机构 * Technical University of Munich（慕尼黑技术大学） ； School of Computation, Information and Technology（计算、信息与技术学院） ； Department of Computer Science（计算机科学系） 纠错

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

Comments Accepted to Findings of EMNLP 2025