大模型推理能力

Geoint-R1: Formalizing Multimodal Geometric Reasoning with Dynamic Auxiliary Constructions

Jingxuan Wei, Caijun Jia, Qi Chen, Honghao He, Linzhuang Sun, Conghui He, Lijun Wu, Bihui Yu, Cheng Tan

机构 * Shenyang institute of computing technology, Chinese academy of sciences（沈阳计算技术研究所，中国科学院） ； Shanghai AI Laboratory（上海人工智能实验室） ； University of Chinese Academy of Sciences（中国科学院大学） 纠错

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

Error Detection and Correction for Interpretable Mathematics in Large Language Models

Yijin Yang, Cristina Cornelio, Mario Leiva, Paulo Shakarian

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

EmbedGrad: Gradient-Based Prompt Optimization in Embedding Space for Large Language Models

Xiaoming Hou, Jiquan Zhang, Zibin Lin, DaCheng Tao, Shengli Zhang

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

Goedel-Prover-V2: Scaling Formal Theorem Proving with Scaffolded Data Synthesis and Self-Correction

Yong Lin, Shange Tang, Bohan Lyu, Ziran Yang, Jui-Hui Chung, Haoyu Zhao, Lai Jiang, Yihan Geng, Jiawei Ge, Jingruo Sun, Jiayun Wu, Jiri Gesi, Ximing Lu, David Acuna, Kaiyu Yang, Hongzhou Lin, Yejin Choi, Danqi Chen, Sanjeev Arora, Chi Jin

专题命中 代码与定理证明 ：self-correction(title,abstract)；test-time compute(abstract)；verifier(abstract)；分类 cs.AI、cs.LG

Comments 24 pages, 10 figures, 4 tables

The AlphaPhysics Term Rewriting System for Marking Algebraic Expressions in Physics Exams

Peter Baumgartner, Lachlan McGinness

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

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

What's in a Proof? Analyzing Expert Proof-Writing Processes in F* and Verus

Rijul Jain, Shraddha Barke, Gabriel Ebner, Md Rakib Hossain Misu, Shan Lu, Sarah Fakhoury

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

A Comparative Study of Neurosymbolic AI Approaches to Interpretable Logical Reasoning

Michael K. Chen

机构 * Raffles Institution（拉夫斯学院） 纠错

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

Comments Accepted to NeSy 2025

Bridging LLMs and Symbolic Reasoning in Educational QA Systems: Insights from the XAI Challenge at IJCNN 2025

Long S. T. Nguyen, Khang H. N. Vo, Thu H. A. Nguyen, Tuan C. Bui, Duc Q. Nguyen, Thanh-Tung Tran, Anh D. Nguyen, Minh L. Nguyen, Fabien Baldacci, Thang H. Bui, Emanuel Di Nardo, Angelo Ciaramella, Son H. Le, Ihsan Ullah, Lorenzo Di Rocco, Tho T. Quan

机构 * URA Research Group, Ho Chi Minh City University of Technology (HCMUT), Vietnam ； Ho Chi Minh City International University (HCMIU), Vietnam ； University of South-Eastern Norway, Norway ； Japan Advanced Institute of Science ； Univ. Bordeaux, CNRS, Bordeaux INP, LaBRI, UMR 5800, F-33400 Talence, France ； University of Naples Parthenope, Italy ； VNU Information Technology Institute, Vietnam National University, Vietnam ； Visual Intelligence Lab, School of Computer Science \& Insight Center for Data Analyitcs, University of Galway, Ireland ； Sapienza University of Rome, Italy 纠错

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

Comments The XAI Challenge @ TRNS-AI Workshop, IJCNN 2025: Explainable AI for Educational Question Answering. Website: https://sites.google.com/view/trns-ai/challenge/

AI4Research: A Survey of Artificial Intelligence for Scientific Research

Qiguang Chen, Mingda Yang, Libo Qin, Jinhao Liu, Zheng Yan, Jiannan Guan, Dengyun Peng, Yiyan Ji, Hanjing Li, Mengkang Hu, Yimeng Zhang, Yihao Liang, Yuhang Zhou, Jiaqi Wang, Zhi Chen, Wanxiang Che

机构 * LARG, Research Center for Social Computing and Interactive Robotics, Harbin Institute of Technology（哈尔滨工业大学大规模学习与推理中心，社会计算与交互机器人研究所以） ； School of Computer Science and Engineering, Central South University（中南大学计算机科学与工程学院） ； The University of Hong Kong（香港大学） ； University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） ； Princeton University（普林斯顿大学） ； Fudan University（复旦大学） ； Chinese University of Hong Kong（香港中文大学） ； ByteDance Seed (China)（字节跳动种子（中国）） 纠错

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

Comments Preprint, Paper list is available at https://github.com/LightChen233/Awesome-AI4Research

MoKA: Mixture of Kronecker Adapters

Mohammadreza Sadeghi, Mahsa Ghazvini Nejad, MirHamed Jafarzadeh Asl, Yu Gu, Yuanhao Yu, Masoud Asgharian, Vahid Partovi Nia

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

An Auditable Agent Platform For Automated Molecular Optimisation

Atabey Ünlü, Phil Rohr, Ahmet Celebi

机构 * DeltaWave 纠错

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

Autonomous Inorganic Materials Discovery via Multi-Agent Physics-Aware Scientific Reasoning

Alireza Ghafarollahi, Markus J. Buehler

机构 * Laboratory for Atomistic and Molecular Mechanics (LAMM) Massachusetts Institute of Technology（原子与分子力学实验室（LAMM）麻省理工学院） ； Center for Computational Science and Engineering Schwarzman College of Computing Massachusetts Institute of Technology（计算科学与工程中心施瓦茨曼计算学院麻省理工学院） 纠错

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

Cognitive Loop via In-Situ Optimization: Self-Adaptive Reasoning for Science

Newman Cheng, Gordon Broadbent, William Chappell

机构 * Microsoft Discovery and Quantum, Office of the Chief Technology Officer（微软发现与量子，首席技术官办公室） 纠错

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

CookBench: A Long-Horizon Embodied Planning Benchmark for Complex Cooking Scenarios

Muzhen Cai, Xiubo Chen, Yining An, Jiaxin Zhang, Xuesong Wang, Wang Xu, Weinan Zhang, Ting Liu

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

Comments 9 pages, 5 figures

AGENTiGraph: A Multi-Agent Knowledge Graph Framework for Interactive, Domain-Specific LLM Chatbots

Xinjie Zhao, Moritz Blum, Fan Gao, Yingjian Chen, Boming Yang, Luis Marquez-Carpintero, Mónica Pina-Navarro, Yanran Fu, So Morikawa, Yusuke Iwasawa, Yutaka Matsuo, Chanjun Park, Irene Li

机构 * The University of Tokyo（东京大学） ； University of Bielefeld（比勒菲尔德大学） ； University of Alicante（阿利坎特大学） ； Soongsil University（顺世大学） 纠错

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

Comments CIKM 2025, Demo Track

Robot builds a robot's brain: AI generated drone command and control station hosted in the sky

Peter Burke

机构 * Department of Electrical Engineering and Computer Science, University of California, Irvine（电气工程与计算机科学系，加州大学伊文斯顿分校） 纠错

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

A Bayesian Hybrid Parameter-Efficient Fine-Tuning Method for Large Language Models

Yidong Chai, Yang Liu, Yonghang Zhou, Jiaheng Xie, Daniel Dajun Zeng

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

SMART-Editor: A Multi-Agent Framework for Human-Like Design Editing with Structural Integrity

Ishani Mondal, Meera Bharadwaj, Ayush Roy, Aparna Garimella, Jordan Lee Boyd-Graber

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

Comments This requires some internal approval before the public release

Managing Escalation in Off-the-Shelf Large Language Models

Sebastian Elbaum, Jonathan Panter

机构 * Council on Foreign Relations and University of Virginia（美国对外关系委员会和弗吉尼亚大学） ； Council on Foreign Relations（美国对外关系委员会） 纠错

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

Adaptive AI Agent Placement and Migration in Edge Intelligence Systems

Xingdan Wang, Jiayi He, Zhiqing Tang, Jianxiong Guo, Jiong Lou, Liping Qian, Tian Wang, Weijia Jia

机构 * Institute of Artificial Intelligence and Future Networks, Beijing Normal University, China（人工智能与未来网络研究院，北京师范大学，中国） ； Faculty of Arts and Sciences, Beijing Normal University, China（文理学院，北京师范大学，中国） ； Department of Computer Science and Engineering, Shanghai Jiao Tong University, China（计算机科学与工程系，上海交通大学，中国） ； College of Information Engineering, Zhejiang University of Technology, China（信息工程学院，浙江工业大学，中国） 纠错

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

Reinforcing VLMs to Use Tools for Detailed Visual Reasoning Under Resource Constraints

Sunil Kumar, Bowen Zhao, Leo Dirac, Paulina Varshavskaya

专题命中 视觉空间推理 ：reasoning(title,abstract)；分类 cs.AI、cs.LG

Enhancing Long Video Question Answering with Scene-Localized Frame Grouping

Xuyi Yang, Wenhao Zhang, Hongbo Jin, Lin Liu, Hongbo Xu, Yongwei Nie, Fei Yu, Fei Ma

专题命中 视觉空间推理 ：reasoning(abstract)；分类 cs.AI

Defining and Evaluating Visual Language Models' Basic Spatial Abilities: A Perspective from Psychometrics

Wenrui Xu, Dalin Lyu, Weihang Wang, Jie Feng, Chen Gao, Yong Li

机构 * School of Architecture, Tsinghua University（清华大学建筑学院） ； Department of Electronic Engineering, Tsinghua University（清华大学电子工程系） ； BNRist, Tsinghua University（清华大学BNRist） 纠错

专题命中 视觉空间推理 ：chain-of-thought(abstract)；分类 cs.CL

Journal ref Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics. Volume 1: Long Papers (2025) 11571-11590

Towards Revealing the Effectiveness of Small-Scale Fine-tuning in R1-style Reinforcement Learning

Yutong Chen, Jiandong Gao, Ji Wu

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

Comments preprint

Light-IF: Endowing LLMs with Generalizable Reasoning via Preview and Self-Checking for Complex Instruction Following

Chenyang Wang, Liang Wen, Shousheng Jia, Xiangzheng Zhang, Liang Xu

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

Comments 12 pages, 10 figures, 7 tables

Tree-of-Reasoning: Towards Complex Medical Diagnosis via Multi-Agent Reasoning with Evidence Tree

Qi Peng, Jialin Cui, Jiayuan Xie, Yi Cai, Qing Li

机构 * South China University of Technology（华南理工大学） ； Key Laboratory of Big Data and Intelligent Robot (SCUT), Ministry of Education（大数据与智能机器人重点实验室（SCUT）） ； Hong Kong Polytechnic University（香港理工大学） 纠错

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

Comments Accepted by ACM MM 2025

A Multi-Agent System for Complex Reasoning in Radiology Visual Question Answering

Ziruo Yi, Jinyu Liu, Ting Xiao, Mark V. Albert

机构 * University of North Texas（北卡罗来纳州立大学） 纠错

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

CLIPPER: Compression enables long-context synthetic data generation

Chau Minh Pham, Yapei Chang, Mohit Iyyer

机构 * University of Maryland, College Park（马里兰大学 College Park 分校） ； University of Massachusetts Amherst（马萨诸塞大学阿默斯特分校） 纠错

专题命中 复杂问题求解 ：reasoning(abstract)；chain-of-thought(abstract)；分类 cs.CL

Comments Accepted to COLM 2025

Toward Verifiable Misinformation Detection: A Multi-Tool LLM Agent Framework

Zikun Cui, Tianyi Huang, Chia-En Chiang, Cuiqianhe Du

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

A Survey of WebAgents: Towards Next-Generation AI Agents for Web Automation with Large Foundation Models

Liangbo Ning, Ziran Liang, Zhuohang Jiang, Haohao Qu, Yujuan Ding, Wenqi Fan, Xiao-yong Wei, Shanru Lin, Hui Liu, Philip S. Yu, Qing Li

机构 * The Hong Kong Polytechnic University（香港理工大学） ； City University of Hong Kong（香港城市大学） ； Michigan State University（密歇根州立大学） ； University of Illinois at Chicago（伊利诺伊大学芝加哥分校） 纠错

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

Comments This is the long version of the corresponding survey paper accepted by KDD 2025. The tutorial and corresponding slides are available at https://biglemon-ning.github.io/WebAgents/