大模型推理能力

RAG+: Enhancing Retrieval-Augmented Generation with Application-Aware Reasoning

Yu Wang, Shiwan Zhao, Zhihu Wang, Ming Fan, Xicheng Zhang, Yubo Zhang, Zhengfan Wang, Heyuan Huang, Ting Liu

机构 * Xi’an Jiaotong University（西安交通大学） ； Huawei Technologies Ltd.（华为技术有限公司） ； Nankai University（南开大学） 纠错

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

Mitigating Strategy-Selection Bias in Reasoning for More Effective Test-Time Scaling

Zongqian Wu, Baoduo Xu, Tianyu Li, Zhu Sun, Xiaofeng Zhu, Lei Feng

机构 * UESTC（乌兹克斯坦技术学院） ； Nanjing University（南京大学） ； Southeast University（东南大学） ； Hainan University（海南大学） ； SUTD（新加坡科技设计大学） 纠错

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

Comments 23 pages, 9 figures

Unraveling Misinformation Propagation in LLM Reasoning

Yiyang Feng, Yichen Wang, Shaobo Cui, Boi Faltings, Mina Lee, Jiawei Zhou

机构 * EPFL（瑞士联邦理工学院） ； Stony Brook University（史泰士布鲁克大学） ； University of Chicago（芝加哥大学） 纠错

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

Comments Accepted to EMNLP 2025 (Findings)

Qianfan-VL: Domain-Enhanced Universal Vision-Language Models

Daxiang Dong, Mingming Zheng, Dong Xu, Bairong Zhuang, Wenyu Zhang, Chunhua Luo, Haoran Wang, Zijian Zhao, Jie Li, Yuxuan Li, Hanjun Zhong, Mengyue Liu, Jieting Chen, Shupeng Li, Lun Tian, Yaping Feng, Xin Li, Donggang Jiang, Yong Chen, Yehua Xu, Duohao Qin, Chen Feng, Dan Wang, Henghua Zhang, Jingjing Ha, Jinhui He, Yanfeng Zhai, Chengxin Zheng, Jiayi Mao, Jiacheng Chen, Ruchang Yao, Ziye Yuan, Jianmin Wu, Guangjun Xie, Dou Shen

机构 * Qianfan Team, Baidu AI Cloud（百度AI云团队） 纠错

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

Comments 12 pages

Single-stream Policy Optimization

Zhongwen Xu, Zihan Ding

机构 * Tencent（腾讯） 纠错

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

NGRPO: Negative-enhanced Group Relative Policy Optimization

Gongrui Nan, Siye Chen, Jing Huang, Mengyu Lu, Dexun Wang, Chunmei Xie, Weiqi Xiong, Xianzhou Zeng, Qixuan Zhou, Yadong Li, Xingzhong Xu

机构 * Ant Group Shanghai, China（蚂蚁集团上海） 纠错

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

Gödel Test: Can Large Language Models Solve Easy Conjectures?

Moran Feldman, Amin Karbasi

机构 * University of Haifa（海法大学） ； Cisco Foundation AI（思科基础人工智能） 纠错

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

Solving Math Word Problems Using Estimation Verification and Equation Generation

Mitchell Piehl, Dillon Wilson, Ananya Kalita, Jugal Kalita

机构 * Computer Science University of Iowa（计算机科学 威斯康星大学） ； Computer Science University of Colorado（计算机科学 色达省大学） ； Foster School of Business University of Washington（福斯特商学院 威斯康星大学） 纠错

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

Comments Accepted to IEEE ICMLA 2025

DSFT: Inspiring Diffusion Large Language Models to Comprehend Mathematical and Logical Patterns

Ranfei Chen, Ming Chen

机构 * Key Laboratory of Intelligent Information Processing, Institute of Computing Technology, Chinese Academy of Sciences, Beijing, China（智能信息处理重点实验室，计算技术研究所，中国科学院，北京，中国） ； Computer Network Information Center, Chinese Academy of Sciences, Beijing, China（计算机网络信息中心，中国科学院，北京，中国） 纠错

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

EvoAgentX: An Automated Framework for Evolving Agentic Workflows

Yingxu Wang, Siwei Liu, Jinyuan Fang, Zaiqiao Meng

机构 * Mohamed bin Zayed University of Artificial Intelligence（莫莫德·本·扎耶德人工智能大学） ； University of Aberdeen（阿伯丁大学） ； University of Glasgow（格拉斯哥大学） 纠错

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

A closed-loop AI framework for hypothesis-driven and interpretable materials design

Kangyu Ji, Tianran Liu, Fang Sheng, Shaun Tan, Moungi Bawendi, Tonio Buonassisi

专题命中 代码与定理证明 ：reasoning(abstract)；chain-of-thought(abstract)

Live-E2T: Real-time Threat Monitoring in Video via Deduplicated Event Reasoning and Chain-of-Thought

Yuhan Wang, Cheng Liu, Zihan Zhao, Weichao Wu

机构 * School of Mechatronical Engineering, Beijing Institute of Technology（机械工程学院，北京理工大学） 纠错

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

Evaluating the Safety and Skill Reasoning of Large Reasoning Models Under Compute Constraints

Adarsha Balaji, Le Chen, Rajeev Thakur, Franck Cappello, Sandeep Madireddy

机构 * Argonne National Laboratory（阿贡国家实验室） ； Mathematics and Computer Science Division（数学与计算机科学 division） ； Data Science and Learning Division（数据科学与学习 division） 纠错

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

LogicGuard: Improving Embodied LLM agents through Temporal Logic based Critics

Anand Gokhale, Vaibhav Srivastava, Francesco Bullo

机构 * Department of Mechanical Engineering, University of California at Santa Barbara（加州大学圣芭芭拉分校机械工程系） ； Department of Electrical and Computer Engineering, Michigan State University（密歇根州立大学电气与计算机工程系） 纠错

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

Comments Modified version of prior LTLCrit work with new robotics dataset

Teaching Audio Models to Reason: A Unified Framework for Source- and Layer-wise Distillation

Runyan Yang, Yuke Si, Yingying Gao, Junlan Feng, Chao Deng, Shilei Zhang

机构 * Jiutian Artificial Intelligence Research Institute, China Mobile, Beijing, China（九天人工智能研究院，中国移动，北京） ； The State Key Laboratory of Multimedia Information Processing, Peking University, Beijing, China（多媒体信息处理国家重点实验室，北京大学，北京） 纠错

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

Comments 5 pages; submitted to ICASSP 2026

Visionerves: Automatic and Reproducible Hybrid AI for Peripheral Nervous System Recognition Applied to Endometriosis Cases

Giammarco La Barbera, Enzo Bonnot, Thomas Isla, Juan Pablo de la Plata, Joy-Rose Dunoyer de Segonzac, Jennifer Attali, Cécile Lozach, Alexandre Bellucci, Louis Marcellin, Laure Fournier, Sabine Sarnacki, Pietro Gori, Isabelle Bloch

机构 * IMAG2, Institut Imagine, Université Paris Cité, France（IMAG2研究所，Imagine机构，巴黎cité大学，法国） ； Replico SAS, Paris, France（Replico SAS公司，巴黎，法国） ； LTCI, Télécom Paris, Institut Polytechnique de Paris, France（LTCI研究所，巴黎电信学院，巴黎高等理工学院，法国） ； Université Paris Cité, Department of Pediatric Imaging, Hôpital Necker Enfants-Malades, Assistance Publique-Hôpitaux de Paris (AP-HP), France（巴黎cité大学，儿科影像部门，Necker儿童医院，巴黎公共医院（AP-HP），法国） ； Université Paris Cité, Department of Radiology, Hôpital Européen Georges Pompidou, AP-HP, France（巴黎cité大学，放射学部门，乔治·蓬皮杜欧洲医院，巴黎公共医院（AP-HP），法国） ； Université Paris Cité, Department of Gynecological Surgery and Oncology (Professor Chapron), Hôpital Cochin, AP-HP, France（巴黎cité大学，妇科外科与肿瘤学部门（教授Chapron），科医院，巴黎公共医院（AP-HP），法国） ； Department of Development, Reproduction and Cancer (Professor Batteux), Institut Cochin, Paris, France（发展、繁殖和癌症部门（教授Batteux），科医院，巴黎，法国） ； Université Paris Cité, Department of Pediatric Surgery, Hôpital Necker Enfants-Malades, AP-HP, France（巴黎cité大学，儿科外科部门，Necker儿童医院，巴黎公共医院（AP-HP），法国） ； Sorbonne Université, CNRS, LIP6, Paris（索邦大学，国家科学研究中心，LIP6研究所，巴黎） 纠错

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

Comments Computer-Aided Pelvic Imaging for Female Health (CAPI) - Workshop MICCAI 2025

Large Language Models as End-to-end Combinatorial Optimization Solvers

Xia Jiang, Yaoxin Wu, Minshuo Li, Zhiguang Cao, Yingqian Zhang

机构 * Eindhoven University of Technology（埃因霍温理工大学） ； Singapore Management University（新加坡管理学院） 纠错

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

Journal ref The 39th Annual Conference on Neural Information Processing Systems (NeurIPS 2025)

Lang2Morph: Language-Driven Morphological Design of Robotic Hands

Yanyuan Qiao, Kieran Gilday, Yutong Xie, Josie Hughes

机构 * CREATE Lab, Swiss Federal Institute of Technology Lausanne (EPFL)（瑞士联邦理工学院洛桑分校CREATE实验室） ； Computer Vision Department, Mohamed bin Zayed University of Artificial Intelligence (MBZUAI)（马尔代夫比兹莱浙江大学人工智能大学计算机视觉部门） 纠错

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

VLN-Zero: Rapid Exploration and Cache-Enabled Neurosymbolic Vision-Language Planning for Zero-Shot Transfer in Robot Navigation

Neel P. Bhatt, Yunhao Yang, Rohan Siva, Pranay Samineni, Daniel Milan, Zhangyang Wang, Ufuk Topcu

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

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

Comments Codebase, datasets, and videos for VLN-Zero are available at: https://vln-zero.github.io/

Towards Bio-Inspired Robotic Trajectory Planning via Self-Supervised RNN

Miroslav Cibula, Kristína Malinovská, Matthias Kerzel

机构 * Faculty of Mathematics, Physics and Informatics, Comenius University Bratislava（数学、物理与信息学系，科门尼乌斯大学布拉迪斯拉发分校） ； Department of Informatics, University of Hamburg（信息学系，汉堡大学） 纠错

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

Comments 12 pages, 4 figures, 2 tables. To be published in 2025 International Conference on Artificial Neural Networks (ICANN) proceedings. This research was funded by the Horizon Europe project TERAIS, GA no. 101079338, and in part by the Slovak Grant Agency for Science (VEGA), project 1/0373/23. The code can be found at https://doi.org/10.5281/zenodo.17127997

Journal ref In Artificial Neural Networks and Machine Learning. ICANN 2025 International Workshops and Special Sessions (pp. 149--160). Springer Nature Switzerland

Code Driven Planning with Domain-Adaptive Critic

Zikang Tian, Shaohui Peng, Du Huang, Jiaming Guo, Ruizhi Chen, Rui Zhang, Xishan Zhang, Yuxuan Guo, Zidong Du, Qi Guo, Ling Li, Yewen Pu, Xing Hu, Yunji Chen

机构 * SKL of Processors, Institute of Computing Technology, CAS, Beijing, China（处理器SKL，计算技术研究所，中国科学院，北京） ； University of Chinese Academy of Sciences, Beijing, China（中国科学院大学，北京） ； Cambricon Technologies, Beijing, China（寒武纪科技，北京） ； SKL of Computer Science, Institute of Software, CAS, Beijing, China（计算机科学SKL，软件研究所，中国科学院，北京） ； Shanghai Innovation Center for Processor Technologies, SHIC, Shanghai, China（上海处理器技术创新中心，SHIC，上海，中国） ； University of Science and Technology of China（中国科学技术大学） ； Autodesk Research（Autodesk研究） 纠错

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

Distributionally Robust Safe Motion Planning with Contextual Information

Kaizer Rahaman, Simran Kumari, Ashish R. Hota

机构 * Department of Electrical Engineering, IIT Kharagpur（电子工程系，印度IIT Kharagpur） 纠错

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

Number Adaptive Formation Flight Planning via Affine Deformable Guidance in Narrow Environments

Yuan Zhou, Jialiang Hou, Guangtong Xu, Fei Gao

机构 * Institute of Cyber-Systems and Control, College of Control Science and Engineering, Zhejiang University（浙江大学控制科学与工程学院系统与控制研究所） 纠错

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

ReSearch: Learning to Reason with Search for LLMs via Reinforcement Learning

Mingyang Chen, Linzhuang Sun, Tianpeng Li, Haoze Sun, Yijie Zhou, Chenzheng Zhu, Haofen Wang, Jeff Z. Pan, Wen Zhang, Huajun Chen, Fan Yang, Zenan Zhou, Weipeng Chen

机构 * Baichuan Inc.（北川公司） ； University of Chinese Academy of Sciences（中国科学院大学） ； Tongji University（同济大学） ； The University of Edinburgh（爱丁堡大学） ； Zhejiang University（浙江大学） 纠错

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

Comments Accepted to NeurIPS 2025

Columbo: Expanding Abbreviated Column Names for Tabular Data Using Large Language Models

Ting Cai, Stephen Sheen, AnHai Doan

机构 * University of Wisconsin-Madison（威斯康星大学麦迪逊分校） 纠错

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

Comments Accepted to Findings of EMNLP 2025; 19 pages, 14 figures

Query-Centric Diffusion Policy for Generalizable Robotic Assembly

Ziyi Xu, Haohong Lin, Shiqi Liu, Ding Zhao

机构 * Department of Mechanical Engineering, Carnegie Mellon University（机械工程系，卡内基梅隆大学） 纠错

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

Comments 8 pages, 7 figures

KM-GPT: An Automated Pipeline for Reconstructing Individual Patient Data from Kaplan-Meier Plots

Yao Zhao, Haoyue Sun, Yantian Ding, Yanxun Xu

机构 * Johns Hopkins University（约翰霍普金斯大学） 纠错

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

Position: Human-Robot Interaction in Embodied Intelligence Demands a Shift From Static Privacy Controls to Dynamic Learning

Shuning Zhang, Hong Jia, Simin Li, Ting Dang, Yongquan `Owen' Hu, Xin Yi, Hewu Li

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

Comments To be published in NeurIPS 2025 Workshop on Bridging Language, Agent, and World Models for Reasoning and Planning

Reflect before Act: Proactive Error Correction in Language Models

Qiuhai Zeng, Sarvesh Rajkumar, Di Wang, Narendra Gyanchandani, Wenbo Yan

机构 * Pennsylvania State University（宾夕法尼亚州立大学） ； Amazon（亚马逊） 纠错

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

AI-Derived Structural Building Intelligence for Urban Resilience: An Application in Saint Vincent and the Grenadines

Isabelle Tingzon, Yoji Toriumi, Caroline Gevaert

机构 * The World Bank Group（世界银行集团） 纠错

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

Comments Accepted at the 2nd Workshop on Computer Vision for Developing Countries (CV4DC) at ICCV 2025