大模型推理能力

K2-Think: A Parameter-Efficient Reasoning System

Zhoujun Cheng, Richard Fan, Shibo Hao, Taylor W. Killian, Haonan Li, Suqi Sun, Hector Ren, Alexander Moreno, Daqian Zhang, Tianjun Zhong, Yuxin Xiong, Yuanzhe Hu, Yutao Xie, Xudong Han, Yuqi Wang, Varad Pimpalkhute, Yonghao Zhuang, Aaryamonvikram Singh, Xuezhi Liang, Anze Xie, Jianshu She, Desai Fan, Chengqian Gao, Liqun Ma, Mikhail Yurochkin, John Maggs, Xuezhe Ma, Guowei He, Zhiting Hu, Zhengzhong Liu, Eric P. Xing

机构 * Institute of Foundation Models, Mohamed bin Zayed University of Artificial Intelligence（基础模型研究所，穆罕默德·本·扎耶德人工智能大学） 纠错

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

Comments To access the K2-Think reasoning system, please visit www.k2think.ai

Another Turn, Better Output? A Turn-Wise Analysis of Iterative LLM Prompting

Shashidhar Reddy Javaji, Bhavul Gauri, Zining Zhu

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

LogicTree: Structured Proof Exploration for Coherent and Rigorous Logical Reasoning with Large Language Models

Kang He, Kaushik Roy

机构 * Electrical and Computer Engineering, Purdue University（电子与计算机工程系，普渡大学） 纠错

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

Comments EMNLP 2025 Main Conference

Formal Reasoning for Intelligent QA Systems: A Case Study in the Educational Domain

Tuan Bui, An Nguyen, Phat Thai, Minh Hua, Ngan Pham L. N., Ngan Pham T. B., Dung Le, Long Nguyen, Thanh-Tung Tran, Thang Bui, Tho Quan

机构 * Ho Chi Minh City University of Technology (HCMUT) - VNU-HCM（胡志明市技术大学（HCMUT）- VNU-HCM） ； International University - VNU-HCM（国际大学 - VNU-HCM） 纠错

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

Comments Published at the 2nd ACM Workshop in AI-powered Question & Answering Systems (AIQAM '25), co-located with ACM Multimedia 2025

Journal ref Proceedings of the 2nd ACM Workshop in AI-powered Question and Answering Systems (AIQAM '25), October 27-28, 2025, Dublin, Ireland

Neural cellular automata: applications to biology and beyond classical AI

Benedikt Hartl, Michael Levin, Léo Pio-Lopez

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

Joint Effects of Argumentation Theory, Audio Modality and Data Enrichment on LLM-Based Fallacy Classification

Hongxu Zhou, Hylke Westerdijk, Khondoker Ittehadul Islam

机构 * University of Groningen（格罗宁根大学） 纠错

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

Bridging Vision Language Models and Symbolic Grounding for Video Question Answering

Haodi Ma, Vyom Pathak, Daisy Zhe Wang

机构 * Univerisy of Florida（佛罗里达大学） 纠错

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

Trading-R1: Financial Trading with LLM Reasoning via Reinforcement Learning

Yijia Xiao, Edward Sun, Tong Chen, Fang Wu, Di Luo, Wei Wang

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

Comments Tauric Research: https://github.com/TauricResearch

Soft Reasoning: Navigating Solution Spaces in Large Language Models through Controlled Embedding Exploration

Qinglin Zhu, Runcong Zhao, Hanqi Yan, Yulan He, Yudong Chen, Lin Gui

机构 * King's College London, UK（伦敦国王学院） ； The Alan Turing Institute, UK（艾伦·图灵研究所） ； University of Warwick, UK（沃里克大学） 纠错

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

Comments Accepted as a Spotlight at ICML 2025

A learning-driven automatic planning framework for proton PBS treatments of H&N cancers

Qingqing Wang, Liqiang Xiao, Chang Chang

机构 * Department of Radiation Medicine and Applied Sciences, University of California at San Diego（放射医学与应用科学系，加州大学圣地亚哥分校） ； Amazon Inc.（亚马逊公司） ； California Protons Cancer Therapy Center（加利福尼亚质子癌症治疗中心） 纠错

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

Comments 27 pages, 4 figures

Bridging Engineering and AI Planning through Model-Based Knowledge Transformation for the Validation of Automated Production System Variants

Hamied Nabizada, Lasse Beers, Alain Chahine, Felix Gehlhoff, Oliver Niggemann, Alexander Fay

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

Comments Presented at the KEPS-Workshop, ICAPS 2025

MEPG:Multi-Expert Planning and Generation for Compositionally-Rich Image Generation

Yuan Zhao, Lin Liu

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

MultiMind: Enhancing Werewolf Agents with Multimodal Reasoning and Theory of Mind

Zheng Zhang, Nuoqian Xiao, Qi Chai, Deheng Ye, Hao Wang

机构 * The Hong Kong University of Science and Technology (Guangzhou)（香港科技大学（广州）） ； Tencent（腾讯） 纠错

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

Comments Accepted by ACMMM 2025

Think Small, Plan Smart: Minimalist Symbolic Abstraction and Heuristic Subspace Search for LLM-Guided Task Planning

Junfeng Tang, Yuping Yan, Zihan Ye, Zhenshou, Song, Zeqi Zheng, Yaochu Jin

机构 * Zhejiang University（浙江大学） ； Westlake University（西湖大学） ； UCAS-Terminus AI Lab（UCAS-terminus人工智能实验室） ； Victoria University of Wellington（威灵顿维多利亚大学） 纠错

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

Making Judicial Reasoning Visible: Structured Annotation of Holding, Evidentiary Considerations, and Subsumption in Criminal Judgments

Yu-Cheng Chih, Yong-Hao Hou

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

Comments 12 pages, 3 figures, preprint version

ConvSearch-R1: Enhancing Query Reformulation for Conversational Search with Reasoning via Reinforcement Learning

Changtai Zhu, Siyin Wang, Ruijun Feng, Kai Song, Xipeng Qiu

机构 * Fudan University（复旦大学） ； ByteDance Inc（字节跳动公司） ； University of New South Wales（新南威尔士大学） 纠错

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

Comments Accepted by EMNLP 2025 at the Main Conference

Intelligent Reservoir Decision Support: An Integrated Framework Combining Large Language Models, Advanced Prompt Engineering, and Multimodal Data Fusion for Real-Time Petroleum Operations

Seyed Kourosh Mahjour, Seyed Saman Mahjour

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

Large Language Models for Multi-Robot Systems: A Survey

Peihan Li, Zijian An, Shams Abrar, Lifeng Zhou

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

RoboBrain 2.0 Technical Report

BAAI RoboBrain Team, Mingyu Cao, Huajie Tan, Yuheng Ji, Xiansheng Chen, Minglan Lin, Zhiyu Li, Zhou Cao, Pengwei Wang, Enshen Zhou, Yi Han, Yingbo Tang, Xiangqi Xu, Wei Guo, Yaoxu Lyu, Yijie Xu, Jiayu Shi, Mengfei Du, Cheng Chi, Mengdi Zhao, Xiaoshuai Hao, Junkai Zhao, Xiaojie Zhang, Shanyu Rong, Huaihai Lyu, Zhengliang Cai, Yankai Fu, Ning Chen, Bolun Zhang, Lingfeng Zhang, Shuyi Zhang, Dong Liu, Xi Feng, Songjing Wang, Xiaodan Liu, Yance Jiao, Mengsi Lyu, Zhuo Chen, Chenrui He, Yulong Ao, Xue Sun, Zheqi He, Jingshu Zheng, Xi Yang, Donghai Shi, Kunchang Xie, Bochao Zhang, Shaokai Nie, Chunlei Men, Yonghua Lin, Zhongyuan Wang, Tiejun Huang, Shanghang Zhang

机构 * BAAI RoboBrain Team（百度人工智能研究院RoboBrain团队） 纠错

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

Generalizing Behavior via Inverse Reinforcement Learning with Closed-Form Reward Centroids

Filippo Lazzati, Alberto Maria Metelli

机构 * Politecnico di Milano（米兰理工学院） 纠错

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

TransZero: Parallel Tree Expansion in MuZero using Transformer Networks

Emil Malmsten, Wendelin Böhmer

机构 * Delft University of Technology, The Netherlands（代尔夫特理工大学，荷兰） 纠错

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

Comments Submitted to BNAIC/BeNeLearn 2025. 15 pages, 4 figures

A Convolution and Attention Based Encoder for Reinforcement Learning under Partial Observability

Wuhao Wang, Zhiyong Chen

机构 * School of Engineering, The University of Newcastle（工程学院，新castle大学） 纠错

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

A Dynamic Knowledge Update-Driven Model with Large Language Models for Fake News Detection

Di Jin, Jun Yang, Xiaobao Wang, Junwei Zhang, Shuqi Li, Dongxiao He

机构 * Tianjin Key Laboratory of Cognitive Computing and Application, College of Intelligence and Computing, Tianjin University（天津认知计算与应用重点实验室，智能与计算学院，天津大学） ； Key Laboratory of Artificial Intelligence Application Technology, Qinghai Minzu University（人工智能应用技术重点实验室，青海民族大学） ； Hangzhou Institute of Medicine, Chinese Academy of Sciences（杭州医学研究院，中国科学院） 纠错

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

MedicalOS: An LLM Agent based Operating System for Digital Healthcare

Jared Zhu, Junde Wu

机构 * University of Oxford（牛津大学） 纠错

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

GCN-TULHOR: Trajectory-User Linking Leveraging GCNs and Higher-Order Spatial Representations

Khoa Tran, Pranav Gupta, Manos Papagelis

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

Free-MAD: Consensus-Free Multi-Agent Debate

Yu Cui, Hang Fu, Haibin Zhang, Licheng Wang, Cong Zuo

机构 * Beijing Institute of Technology（北京理工大学） ； Yangtze Delta Region Institute of Tsinghua University（清华大学 Yangtze Delta 区研究院） 纠错

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

Enhancing Traffic Incident Response through Sub-Second Temporal Localization with HybridMamba

Ibne Farabi Shihab, Sanjeda Akter, Anuj Sharma

机构 * Department of Computer Science, Iowa State University, Ames, IA, USA（计算机科学系，爱荷华州立大学） ； Department of Civil, Construction and Environmental Engineering, Iowa State University, Ames, IA, USA（土木、建设与环境工程系，爱荷华州立大学） 纠错

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

Navigating the Labyrinth: Evaluating LLMs' Ability to Reason About Search Problems

Nasim Borazjanizadeh, Roei Herzig, Trevor Darrell, Rogerio Feris, Leonid Karlinsky

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

AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities

Huanting Wang, Jingzhi Gong, Huawei Zhang, Jie Xu, Zheng Wang

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

Strategic Cyber Defense via Reinforcement Learning-Guided Combinatorial Auctions

Mai Pham, Vikrant Vaze, Peter Chin

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

Comments IEEE HPEC'25