大模型推理能力

Quantifying The Limits of AI Reasoning: Systematic Neural Network Representations of Algorithms

Anastasis Kratsios, Dennis Zvigelsky, Bradd Hart

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

Comments 18 pages main body, 45 pages total + references

Cutting Through the Noise: Boosting LLM Performance on Math Word Problems

Ujjwala Anantheswaran, Himanshu Gupta, Kevin Scaria, Shreyas Verma, Chitta Baral, Swaroop Mishra

机构 * Arizona State University（亚利桑那州立大学） ； Georgia Institute of Technology（佐治亚理工学院） 纠错

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

Comments Published at ICLR 2025 Workshop on Reasoning and Planning for LLMs

From Understanding to Generation: An Efficient Shortcut for Evaluating Language Models

Viktor Hangya, Fabian Küch, Darina Gold

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

Comments Accepted to EMNLP 2025 (Main Conference)

V-Math: An Agentic Approach to the Vietnamese National High School Graduation Mathematics Exams

Duong Q. Nguyen, Quy P. Nguyen, Nguyen Van Nhon, Quang-Thinh Bui, H. Nguyen-Xuan

机构 * CIRTech Institute, HUTECH University, Ho Chi Minh City, Viet Nam（CIRTech研究院，HUTECH大学，胡志明市，越南） ； Faculty of Information Technology, HUTECH University, Ho Chi Minh City, Vietnam（信息科技学院，HUTECH大学，胡志明市，越南） ； Nguyen Thai Hoc High School, Gia Lai Province, Vietnam（Nguyen Thai Hoc高中，嘉莱省，越南） ； Office of Scientific Research, Technology Management and International Cooperation, Tien Giang University, Vietnam（科研办公室，技术管理与国际合作办公室，Tien Giang大学，越南） 纠错

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

EconProver: Towards More Economical Test-Time Scaling for Automated Theorem Proving

Mukai Li, Linfeng Song, Zhenwen Liang, Jiahao Xu, Shansan Gong, Qi Liu, Haitao Mi, Dong Yu

机构 * Tencent（腾讯） ； The University of Hong Kong（香港大学） 纠错

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

Towards Trustworthy Agentic IoEV: AI Agents for Explainable Cyberthreat Mitigation and State Analytics

Meryem Malak Dif, Mouhamed Amine Bouchiha, Abdelaziz Amara Korba, Yacine Ghamri-Doudane

机构 * L3i - La Rochelle University, La Rochelle, France（L3i - 拉罗谢尔大学） 纠错

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

Comments 10 pages, 7 figures, Accepted at LCN'25

Analogy-Driven Financial Chain-of-Thought (AD-FCoT): A Prompting Approach for Financial Sentiment Analysis

Anmol Singhal Navya Singhal

机构 * New York University（纽约大学） ； University of Texas at Austin（德克萨斯大学奥斯汀分校） 纠错

专题命中 逻辑推理 ：chain-of-thought(title,abstract)；reasoning(abstract)；CoT(abstract)；logical reasoning(abstract)

Comments IEEE AIxB 2025

Large Language Models Imitate Logical Reasoning, but at what Cost?

Lachlan McGinness, Peter Baumgartner

机构 * Australian National University（澳大利亚国立大学） ； Data61|CSIRO 纠错

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

Comments This work has been accepted as a main track paper for publication in the proceedings of the Australasian Joint Conference on Artificial Intelligence 2025 held in Canberra, Australia

LoRA-PAR: A Flexible Dual-System LoRA Partitioning Approach to Efficient LLM Fine-Tuning

Yining Huang, Bin Li, Keke Tang, Meilian Chen

机构 * School of Politics and Public Administration, South China Normal University（华南师范大学政治与公共管理学院） ； Shenzhen Institute of Advanced Technology, Chinese Academy of Sciences（中国科学院深圳先进技术研究所） ； University of Chinese Academy of Sciences（中国科学院大学） ； Shenyang institute of computing technology, Chinese academy of sciences（中国科学院沈阳计算技术研究所） 纠错

专题命中 逻辑推理 ：reasoning(abstract)；chain-of-thought(abstract)；CoT(abstract)；logical reasoning(abstract)

Comments 12 pages

Worst-Case Symbolic Constraints Analysis and Generalisation with Large Language Models

Daniel Koh, Yannic Noller, Corina S. Pasareanu, Adrians Skapars, Youcheng Sun

机构 * Mohamed bin Zayed University of Artificial Intelligence（莫扎德·本·扎耶德人工智能大学） ； Carnegie Mellon University（卡内基梅隆大学） ； University of Manchester（曼彻斯特大学） 纠错

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

LLMAP: LLM-Assisted Multi-Objective Route Planning with User Preferences

Liangqi Yuan, Dong-Jun Han, Christopher G. Brinton, Sabine Brunswicker

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

Empowering LLMs with Parameterized Skills for Adversarial Long-Horizon Planning

Sijia Cui, Shuai Xu, Aiyao He, Yanna Wang, Bo Xu

机构 * 1 Institute of Automation, Chinese Academy of Sciences, Beijing, China ； 2 School of Artificial Intelligence, University of Chinese Academy of Sciences, Beijing, China ； 3 Nanjing Artificial Intelligence Research of IA, Nanjing, China ； 4 University of Chinese Academy of Sciences,Nanjing, Nanjing, China ； 5 Nanjing University of Information Science \& Technology, Nanjing, China 纠错

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

Comments Accepted to IJCNN 2025

Toward PDDL Planning Copilot

Yarin Benyamin, Argaman Mordoch, Shahaf S. Shperberg, Roni Stern

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

FCRF: Flexible Constructivism Reflection for Long-Horizon Robotic Task Planning with Large Language Models

Yufan Song, Jiatao Zhang, Zeng Gu, Qingmiao Liang, Tuocheng Hu, Wei Song, Shiqiang Zhu

机构 * Zhejiang University（浙江大学） ； Hangzhou Institute for Advanced Study（杭州高等研究 institute） 纠错

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

Comments 8 pages, 6 figures, IROS 2025

A Visualized Framework for Event Cooperation with Generative Agents

Yuyang Tian, Shunqiang Mao, Wenchang Gao, Lanlan Qiu, Tianxing He

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

Population Estimation using Deep Learning over Gandhinagar Urban Area

Jai Singla, Peal Jotania, Keivalya Pandya

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

Mitigating Strategy Preference Bias in Emotional Support Conversation via Uncertainty Estimations

Yougen Zhou, Qin Chen, Ningning Zhou, Jie Zhou, Xingjiao Wu, Liang He

机构 * Shanghai Institute of Artificial Intelligence for Education（上海人工智能教育研究院） ； School of Computer Science and Technology（计算机科学与技术学院） ； School of Psychology and Cognitive Science（心理学与认知科学学院） ； School of Pharmacy（药学院） 纠错

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

GRATE: a Graph transformer-based deep Reinforcement learning Approach for Time-efficient autonomous robot Exploration

Haozhan Ni, Jingsong Liang, Chenyu He, Yuhong Cao, Guillaume Sartoretti

机构 * Department of Mechanical Engineering, National University of Singapore（新加坡国立大学机械工程系） ； School of Automotive Studies, Tongji University（同济大学汽车学院） 纠错

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

AMAZe: A Multi-Agent Zero-shot Index Advisor for Relational Databases

Zhaodonghui Li, Haitao Yuan, Jiachen Shi, Hao Zhang, Yu Rong, Gao Cong

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

STRIVE: Structured Representation Integrating VLM Reasoning for Efficient Object Navigation

Haokun Zhu, Zongtai Li, Zhixuan Liu, Wenshan Wang, Ji Zhang, Jonathan Francis, Jean Oh

机构 * Carnegie Mellon University（卡内基梅隆大学） ； Bosch Center for AI（博世人工智能中心） 纠错

专题命中 视觉空间推理 ：reasoning(title,abstract)；planning(abstract)

Comments We remove OSG and CogNav from Table. 1 for a fair comparison

3D Aware Region Prompted Vision Language Model

An-Chieh Cheng, Yang Fu, Yukang Chen, Zhijian Liu, Xiaolong Li, Subhashree Radhakrishnan, Song Han, Yao Lu, Jan Kautz, Pavlo Molchanov, Hongxu Yin, Xiaolong Wang, Sifei Liu

机构 * MIT（麻省理工学院） ； NVIDIA（英伟达） 纠错

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

Comments Project Website: https://www.anjiecheng.me/sr3d

Leveraging Geometric Priors for Unaligned Scene Change Detection

Ziling Liu, Ziwei Chen, Mingqi Gao, Jinyu Yang, Feng Zheng

机构 * Southern University of Science and Technology（南方科技大学） ； University of Sheffield（谢菲尔德大学） ； Spatialtemporal AI（时空AI） 纠错

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

ByDeWay: Boost Your multimodal LLM with DEpth prompting in a Training-Free Way

Rajarshi Roy, Devleena Das, Ankesh Banerjee, Arjya Bhattacharjee, Kousik Dasgupta, Subarna Tripathi

机构 * Kalyani Government Engineering College（卡利尼政府工程学院） ； Intel Labs（英特尔实验室） 纠错

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

WebSailor-V2: Bridging the Chasm to Proprietary Agents via Synthetic Data and Scalable Reinforcement Learning

Kuan Li, Zhongwang Zhang, Huifeng Yin, Rui Ye, Yida Zhao, Liwen Zhang, Litu Ou, Dingchu Zhang, Xixi Wu, Jialong Wu, Xinyu Wang, Zile Qiao, Zhen Zhang, Yong Jiang, Pengjun Xie, Fei Huang, Jingren Zhou

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

Comments https://tongyi-agent.github.io/blog/introducing-tongyi-deep-research/

The LLM Already Knows: Estimating LLM-Perceived Question Difficulty via Hidden Representations

Yubo Zhu, Dongrui Liu, Zecheng Lin, Wei Tong, Sheng Zhong, Jing Shao

机构 * State Key Laboratory for Novel Software Technology, Nanjing University（南京大学新型软件技术国家重点实验室） ； Shanghai Artificial Intelligence Laboratory（上海人工智能实验室） ； Xidian University（西安电子科技大学） 纠错

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

LLM Hallucination Detection: A Fast Fourier Transform Method Based on Hidden Layer Temporal Signals

Jinxin Li, Gang Tu, ShengYu Cheng, Junjie Hu, Jinting Wang, Rui Chen, Zhilong Zhou, Dongbo Shan

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

Metacognitive Reuse: Turning Recurring LLM Reasoning Into Concise Behaviors

Aniket Didolkar, Nicolas Ballas, Sanjeev Arora, Anirudh Goyal

机构 * Meta ； Mila-Quebec AI Institute, University of Montreal（魁北克AI研究所，蒙特利尔大学） ； Princeton University（普林斯顿大学） ； Mila--Quebec AI Institute, Université de Montréal（魁北克AI研究所，蒙特利尔大学） 纠错

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

Comments 18 pages, 9 Figures, 5 Tables

Agentic Lybic: Multi-Agent Execution System with Tiered Reasoning and Orchestration

Liangxuan Guo, Bin Zhu, Qingqian Tao, Kangning Liu, Xun Zhao, Xianzhe Qin, Jin Gao, Guangfu Hao

机构 * Lybic 纠错

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

Shaping Explanations: Semantic Reward Modeling with Encoder-Only Transformers for GRPO

Francesco Pappone, Ruggero Marino Lazzaroni, Federico Califano, Niccolò Gentile, Roberto Marras

机构 * AI Sparks（AI火花） ； University of Graz（格拉茨大学） ； Foyer Group（Foyer集团） ； Onepix Academy（Onepix学院） 纠错

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

Overcoming classic challenges for artificial neural networks by providing incentives and practice

Kazuki Irie, Brenden M. Lake

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

Comments In press at Nature Machine Intelligence