大模型推理能力

Limits of PRM-Guided Tree Search for Mathematical Reasoning with LLMs

Tristan Cinquin, Geoff Pleiss, Agustinus Kristiadi

机构 * University of Tübingen（图宾根大学） ； University of British Columbia（不列颠哥伦比亚大学） ； Vector Institute（向量研究所） ； Western University（西部大学） 纠错

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

CircuitSeer: Mining High-Quality Data by Probing Mathematical Reasoning Circuits in LLMs

Shaobo Wang, Yongliang Miao, Yuancheng Liu, Qianli Ma, Ning Liao, Linfeng Zhang

机构 * EPIC Lab, SJTU（上海交通大学EPIC实验室） ； Shanghai Jiao Tong University（上海交通大学） 纠错

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

Comments 14 pages, 5 figures

Tropical Attention: Neural Algorithmic Reasoning for Combinatorial Algorithms

Baran Hashemi, Kurt Pasque, Chris Teska, Ruriko Yoshida

机构 * Origins Data Science Lab（Origins数据科学实验室） ； Technical University of Munich（慕尼黑技术大学） ； Naval Postgraduate School（海军研究生学院） 纠错

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

Comments Published at NeurIPS 2025

FlyLoRA: Boosting Task Decoupling and Parameter Efficiency via Implicit Rank-Wise Mixture-of-Experts

Heming Zou, Yunliang Zang, Wutong Xu, Yao Zhu, Xiangyang Ji

机构 * Department of Automation, Tsinghua University（自动化系，清华大学） ； Academy of Medical Engineering and Translational Medicine, Tianjin University（医学工程与转化医学学院，天津大学） 纠错

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

Comments NeurIPS 2025 accepted paper

Teaching Language Models to Reason with Tools

Chengpeng Li, Zhengyang Tang, Ziniu Li, Mingfeng Xue, Keqin Bao, Tian Ding, Ruoyu Sun, Benyou Wang, Xiang Wang, Junyang Lin, Dayiheng Liu

机构 * University of Science and Technology of China（中国科学技术大学） ； Alibaba Inc.（阿里巴巴公司） ； The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳）） ； Shenzhen International Center for Industrial and Applied Mathematics（深圳国际工业与应用数学中心） ； Shenzhen Research Institute of Big Data（深圳大数据研究院） 纠错

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

Comments NIPS2025 Accepted

Learning Modular Exponentiation with Transformers

David Demitri Africa, Sara M. Kapoor, Theo Simon Sorg, Challenger Mishra

机构 * Department of Computer Science and Technology（计算机科学与技术系） 纠错

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

Comments Accepted at the 5th MATH-AI Workshop, NeurIPS'25

Large Language Model enabled Mathematical Modeling

Guoyun Zhang

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

Evolution of Cooperation in LLM-Agent Societies: A Preliminary Study Using Different Punishment Strategies

Kavindu Warnakulasuriya, Prabhash Dissanayake, Navindu De Silva, Stephen Cranefield, Bastin Tony Roy Savarimuthu, Surangika Ranathunga, Nisansa de Silva

专题命中 数学推理 ：reasoning(abstract)

Comments 20 pages, 10 figures, Accepted for presentation as a full paper at the COINE 2025 workshop at AAMAS 2025 (https://coin-workshop.github.io/coine-2025-detroit/accepted_for_presentation.html)

Prompt Decorators: A Declarative and Composable Syntax for Reasoning, Formatting, and Control in LLMs

Mostapha Kalami Heris

机构 * School of Engineering and Built Environment（工程与建筑环境学院） ； College of Business（商学院） ； Sheffield Hallam University（谢菲尔德哈姆大学） 纠错

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

Count Counts: Motivating Exploration in LLM Reasoning with Count-based Intrinsic Rewards

Xuan Zhang, Ruixiao Li, Zhijian Zhou, Long Li, Yulei Qin, Ke Li, Xing Sun, Xiaoyu Tan, Chao Qu, Yuan Qi

机构 * Fudan University（复旦大学） ； Shanghai Innovation Institute（上海创新研究院） ； Tencent Youtu Lab（腾讯优图实验室） 纠错

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

A Comprehensive Survey on Benchmarks and Solutions in Software Engineering of LLM-Empowered Agentic System

Jiale Guo, Suizhi Huang, Mei Li, Dong Huang, Xingsheng Chen, Regina Zhang, Zhijiang Guo, Han Yu, Siu-Ming Yiu, Pietro Lio, Kwok-Yan Lam

机构 * Digital Trust Centre, Nanyang Technological University, Singapore（南洋理工大学数字信任中心） ； College of Computing and Data Science, Nanyang Technological University, Singapore（南洋理工大学计算与数据科学学院） ； The Hong Kong University of Science and Technology, Hong Kong（香港科学与技术大学） ； School of Computer Science, Shanghai Jiao Tong University, Shanghai, China（上海交通大学计算机科学学院） ； School of Computing and Data Science, The University of Hong Kong, Hong Kong（香港大学计算与数据科学学院） ； School of Computer Science and Technology, The University of Cambridge, UK（剑桥大学计算机科学与技术学院） 纠错

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

Comments 22 pages

My Ontologist: Evaluating BFO-Based AI for Definition Support

Carter Benson, Alec Sculley, Austin Liebers, John Beverley

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

FinCARE: Financial Causal Analysis with Reasoning and Evidence

Alejandro Michel, Abhinav Arun, Bhaskarjit Sarmah, Stefano Pasquali

机构 * Domyn 纠错

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

LLM-Augmented Symbolic NLU System for More Reliable Continuous Causal Statement Interpretation

Xin Lian, Kenneth D. Forbus

机构 * Department of Computer Science, McCormick School of Engineering ； Applied Science, \ University, Evanston, IL 60208 纠错

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

Comments 18 pages, 2 figures

Journal ref Proceedings of the Twelfth Annual Conference on Advances in Cognitive Systems, Poster Collection (2025) 66-83

LLM-empowered knowledge graph construction: A survey

Haonan Bian

机构 * Xidian University（西安电子科技大学） 纠错

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

MoTVLA: A Vision-Language-Action Model with Unified Fast-Slow Reasoning

Wenhui Huang, Changhe Chen, Han Qi, Chen Lv, Yilun Du, Heng Yang

机构 * Harvard University（哈佛大学） ； University of Michigan（密歇根大学） ； Nanyang Technological University（南洋理工大学） 纠错

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

From Large to Small: Transferring CUDA Optimization Expertise via Reasoning Graph

Junfeng Gong, Zhiyi Wei, Junying Chen, Cheng Liu, Huawei Li

机构 * Institute of Computing Technology, Chinese Academy of Sciences（中国科学院计算技术研究所） ； University of Chinese Academy of Sciences（中国科学院大学） ； South China University of Technology（华南理工大学） 纠错

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

Using Large Language Models for Abstraction of Planning Domains - Extended Version

Bita Banihashemi, Megh Patel, Yves Lespérance

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

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

EmbodiedBrain: Expanding Performance Boundaries of Task Planning for Embodied Intelligence

Ding Zou, Feifan Wang, Mengyu Ge, Siyuan Fan, Zongbing Zhang, Wei Chen, Lingfeng Wang, Zhongyou Hu, Wenrui Yan, Zhengwei Gao, Hao Wang, Weizhao Jin, Yu Zhang, Hainan Zhao, Mingliang Zhang, Xianxian Xi, Yaru Zhang, Wenyuan Li, Zhengguang Gao, Yurui Zhu

机构 * ZTE NebulaBrain Team（ZTE NebulaBrain团队） 纠错

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

Out-of-distribution Tests Reveal Compositionality in Chess Transformers

Anna Mészáros, Patrik Reizinger, Ferenc Huszár

机构 * Max Planck Institute for Intelligent Systems & ELLIS Institute（马克斯·普朗克智能系统研究所及ELLIS研究所） ； University of Cambridge（剑桥大学） 纠错

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

Balancing Fine-tuning and RAG: A Hybrid Strategy for Dynamic LLM Recommendation Updates

Changping Meng, Hongyi Ling, Jianling Wang, Yifan Liu, Shuzhou Zhang, Dapeng Hong, Mingyan Gao, Onkar Dalal, Ed Chi, Lichan Hong, Haokai Lu, Ningren Han

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

Comments RecSys 2025 Industry Track

Deep Learning in Dental Image Analysis: A Systematic Review of Datasets, Methodologies, and Emerging Challenges

Zhenhuan Zhou, Jingbo Zhu, Yuchen Zhang, Xiaohang Guan, Peng Wang, Tao Li

机构 * College of Computer Science, Nankai University（南开大学计算机学院） ； Key Laboratory of Data and Intelligent System Security, Ministry of Education（教育部数据与智能系统安全重点实验室） ； College of Software, Nankai University（南开大学软件学院） ； Department of stomatology, Tianjin Union Medical Center (The First Affiliated Hospital of Nankai University)（天津_union医疗中心口腔科（南开大学第一附属医院）） ； Tianjin Stomatological Hospital（天津口腔医院） ； Haihe Lab of ITAI（ITAI海河实验室） 纠错

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

Comments 52 pages, 24 figures. Under Review

Beyond Retrieval-Ranking: A Multi-Agent Cognitive Decision Framework for E-Commerce Search

Zhouwei Zhai, Mengxiang Chen, Haoyun Xia, Jin Li, Renquan Zhou, Min Yang

机构 * Beijing China（中国北京） 纠错

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

Merge and Conquer: Evolutionarily Optimizing AI for 2048

Maggie Bai, Ava Kim Cohen, Eleanor Koss, Charlie Lichtenbaum

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

Comments 9 pages, 5 figures

DeepWideSearch: Benchmarking Depth and Width in Agentic Information Seeking

Tian Lan, Bin Zhu, Qianghuai Jia, Junyang Ren, Haijun Li, Longyue Wang, Zhao Xu, Weihua Luo, Kaifu Zhang

机构 * Alibaba International Digital Commerce（阿里巴巴国际数字商务） 纠错

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

TriQuest:An AI Copilot-Powered Platform for Interdisciplinary Curriculum Design

Huazhen Wang, Huimin Yang, Hainbin Lin, Yan Dong, Lili Chen, Liangliang Xia, Wenwen Xu

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

Comments 16 pages, 4 figures

Execution Guided Line-by-Line Code Generation

Boaz Lavon, Shahar Katz, Lior Wolf

机构 * Blavatnik School of Computer Science and AI, Tel Aviv University（巴尔-以色列计算机科学与人工智能学院，特拉维夫大学） 纠错

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

Comments Accepted to NeurIPS 2026

DesignX: Human-Competitive Algorithm Designer for Black-Box Optimization

Hongshu Guo, Zeyuan Ma, Yining Ma, Xinglin Zhang, Wei-Neng Chen, Yue-Jiao Gong

机构 * South China University of Technology（南方科技大学） ； Massachusetts Institute of Technology（麻省理工学院） 纠错

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

Comments Accepted by NeurIPS 2025

A Framework for the Adoption and Integration of Generative AI in Midsize Organizations and Enterprises (FAIGMOE)

Abraham Itzhak Weinberg

机构 * AI-WEINBERG, AI Experts（AI-WEINBERG人工智能专家） 纠错

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

Dino-Diffusion Modular Designs Bridge the Cross-Domain Gap in Autonomous Parking

Zixuan Wu, Hengyuan Zhang, Ting-Hsuan Chen, Yuliang Guo, David Paz, Xinyu Huang, Liu Ren

机构 * Bosch Research North America, Bosch Center for AI (BCAI)（博世北美研究部、博世人工智能中心） ； Institute for Robotics and Intelligent Machines (IRIM), Georgia Institute of Technology（机器人与智能机器研究所、佐治亚理工学院） ； Department of Computer Science, University of Southern California（计算机科学系、南加州大学） 纠错

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

Comments Code is at https://github.com/ChampagneAndfragrance/Dino_Diffusion_Parking_Official