AI Agent

Verification-Aware Planning for Multi-Agent Systems

Tianyang Xu, Dan Zhang, Kushan Mitra, Estevam Hruschka

机构 * Purdue University, USA（普渡大学，美国） ； Megagon Labs, USA（梅加隆实验室，美国） 纠错

专题命中 规划决策 ：agent(title,abstract)；planning(title,abstract)；multi-agent(title,abstract)；分类 cs.AI、cs.CL、cs.LG

Comments Submission for ARR Oct

AsyncVoice Agent: Real-Time Explanation for LLM Planning and Reasoning

Yueqian Lin, Zhengmian Hu, Jayakumar Subramanian, Qinsi Wang, Nikos Vlassis, Hai "Helen" Li, Yiran Chen

机构 * Duke University（杜克大学） ； Adobe Research（Adobe研究） 纠错

专题命中 规划决策 ：agent(title,abstract)；planning(title)；分类 cs.AI

Comments Accepted to the IEEE ASRU 2025 Demo Track

Agentic System with Modal Logic for Autonomous Diagnostics

Antonin Sulc, Thorsten Hellert

专题命中 规划决策 ：agentic(title)；agent(abstract)；autonomous agent(abstract)；multi-agent(abstract)

Comments 10 pages, 1 figure

Diverse Planning with Simulators via Linear Temporal Logic

Mustafa F. Abdelwahed, Alice Toniolo, Joan Espasa, Ian P. Gent

机构 * School of Computer Science University of St Andrews（计算机科学学院圣安德鲁大学） 纠错

专题命中 规划决策 ：planning(title,abstract)；agent(abstract)；autonomous agent(abstract)；分类 cs.AI

Coinvisor: An RL-Enhanced Chatbot Agent for Interactive Cryptocurrency Investment Analysis

Chong Chen, Ze Liu, Lingfeng Bao, Yanlin Wang, Ting Chen, Daoyuan Wu, Jiachi Chen

机构 * Zhejiang University（浙江大学） ； University of Electronic Science and Technology of China（电子科技大学） ； Sun Yat-sen University（中山大学） ； Lingnan University（岭大大学） 纠错

专题命中 规划决策 ：agent(title,abstract)；planning(abstract)；multi-agent(abstract)；分类 cs.AI

Active Inference for an Intelligent Agent in Autonomous Reconnaissance Missions

Johan Schubert, Farzad Kamrani, Tove Gustavi

专题命中 规划决策 ：agent(title,abstract)；planning(abstract)；分类 cs.AI

Comments Presented at the 6th International Workshop on Active Inference, 15-17 October 2025, Montreal, Canada

A Mimamsa Inspired Framework For Instruction Sequencing In AI Agents

Bama Srinivasan

专题命中 规划决策 ：AI agent(title,abstract)；planning(abstract)

Comments 16 pages

Decentralized Real-Time Planning for Multi-UAV Cooperative Manipulation via Imitation Learning

Shantnav Agarwal, Javier Alonso-Mora, Sihao Sun

机构 * Department for Cognitive Robotics, ME, Delft University of Technology（认知机器人系，代尔夫特理工大学） 纠错

专题命中 规划决策 ：planning(title,abstract)；agent(abstract)

Comments Accepted by IEEE MRS 2025

Learning to play: A Multimodal Agent for 3D Game-Play

Yuguang Yue, Irakli Salia, Samuel Hunt, Christopher Green, Wenzhe Shi, Jonathan J Hunt

机构 * Player2 纠错

专题命中 规划决策 ：agent(title,abstract)；分类 cs.AI、cs.LG；agentic(comments)

Comments International Conference on Computer Vision Workshop on Multi-Modal Reasoning for Agentic Intelligence

Whose Journey Matters? Investigating Identity Biases in Large Language Models (LLMs) for Travel Planning Assistance

Ruiping Ren, Yingwei, Xu, Xing Yao, Shu Cole, Haining Wang

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

Intent-Driven LLM Ensemble Planning for Flexible Multi-Robot Disassembly: Demonstration on EV Batteries

Cansu Erdogan, Cesar Alan Contreras, Alireza Rastegarpanah, Manolis Chiou, Rustam Stolkin

机构 * 1Extreme Robotics Lab, School of Metallurgy \& Materials, University of Birmingham, Birmingham, UK ； 2Department of Applied Artificial Intelligence ； Robotics, School of Computer Science, Aston University, Birmingham, UK ； 3School of Electronic Engineering ； Computer Science, Queen Mary University of London, London, UK 纠错

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

Comments This work is funded by the project called "Research and Development of a Highly Automated and Safe Streamlined Process for Increasing Lithium-ion Battery Repurposing and Recycling" (REBELION) under Grant 101104241, and partially supported by the Ministry of National Education, Republic of Turkey. Submitted to Frontiers for Review

Formally Verified Certification of Unsolvability of Temporal Planning Problems

David Wang, Mohammad Abdulaziz

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

DARIL: When Imitation Learning outperforms Reinforcement Learning in Surgical Action Planning

Maxence Boels, Harry Robertshaw, Thomas C Booth, Prokar Dasgupta, Alejandro Granados, Sebastien Ourselin

机构 * Surgical and Interventional Engineering, King's College London, London, UK（外科与介入工程，伦敦国王学院，伦敦，英国） ； Interventional Engineering, King's College London, London, UK（介入工程，伦敦国王学院，伦敦，英国） 纠错

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

Comments Paper accepted at the MICCAI2025 workshop proceedings on COLlaborative Intelligence and Autonomy in Image-guided Surgery (COLAS)

Self-planning Code Generation with Large Language Models

Xue Jiang, Yihong Dong, Lecheng Wang, Zheng Fang, Qiwei Shang, Ge Li, Zhi Jin, Wenpin Jiao

专题命中 规划决策 ：planning(title,abstract)；分类 cs.SE

Comments Accepted by TOSEM

BREATH: A Bio-Radar Embodied Agent for Tonal and Human-Aware Diffusion Music Generation

Yunzhe Wang, Xinyu Tang, Zhixun Huang, Xiaolong Yue, Yuxin Zeng

专题命中 规划决策 ：agent(title,abstract)；分类 cs.AI

Comments Accepted by LLM4Music @ ISMIR 2025

T3 Planner: A Self-Correcting LLM Framework for Robotic Motion Planning with Temporal Logic

Jia Li, Guoxiang Zhao

专题命中 规划决策 ：planning(title,abstract)

SPOT: Sensing-augmented Trajectory Planning via Obstacle Threat Modeling

Chi Zhang, Xian Huang, Wei Dong

机构 * Robotics, University of Michigan（机器人学，密歇根大学） ； School of Mechanical Engineering, Shanghai Jiao Tong University（上海交通大学机械工程学院） 纠错

专题命中 规划决策 ：planning(title,abstract)

Going with the Flow: Approximating Banzhaf Values via Graph Neural Networks

Benjamin Kempinski, Tal Kachman

机构 * Radboud University（拉德堡德大学） ； Donders Institute and Department of AI（多恩斯研究所和人工智能系） 纠错

专题命中 规划决策 ：agent(abstract)；planning(abstract)；multi-agent(abstract)；分类 cs.LG

Comments 21 pages, 8 figures, 11-page appendix

Enhancing Language Agent Strategic Reasoning through Self-Play in Adversarial Games

Yikai Zhang, Ye Rong, Siyu Yuan, Jiangjie Chen, Jian Xie, Yanghua Xiao

专题命中 规划决策 ：agent(title)；分类 cs.CL

Limits of Emergent Reasoning of Large Language Models in Agentic Frameworks for Deterministic Games

Chris Su, Harrison Li, Matheus Marques, George Flint, Kevin Zhu, Sunishchal Dev

机构 * Algoverse AI Research（Algoverse AI研究） 纠错

专题命中 规划决策 ：agentic(title)；分类 cs.AI

Customer-R1: Personalized Simulation of Human Behaviors via RL-based LLM Agent in Online Shopping

Ziyi Wang, Yuxuan Lu, Yimeng Zhang, Jing Huang, Dakuo Wang

机构 * Northeastern University（东北大学） ； Michigan State University（密歇根州立大学） ； Amazon（亚马逊） 纠错

专题命中 规划决策 ：agent(title)；分类 cs.CL

Does Math Reasoning Improve General LLM Capabilities? Understanding Transferability of LLM Reasoning

Maggie Huan, Yuetai Li, Tuney Zheng, Xiaoyu Xu, Seungone Kim, Minxin Du, Radha Poovendran, Graham Neubig, Xiang Yue

机构 * Carnegie Mellon University（卡内基梅隆大学） ； University of Pennsylvania（宾夕法尼亚大学） ； University of Washington（华盛顿大学） ； M-A-P ； The Hong Kong Polytechnic University（香港理工大学） 纠错

专题命中 规划决策 ：agent(abstract)；planning(abstract)；分类 cs.AI、cs.CL

Narrowing Action Choices with AI Improves Human Sequential Decisions

Eleni Straitouri, Stratis Tsirtsis, Ander Artola Velasco, Manuel Gomez-Rodriguez

专题命中 规划决策 ：agent(abstract)；AI agent(abstract)；分类 cs.AI、cs.LG

Comments Accepted at the Human-AI Complementarity for Decision Making Workshop 2025 by the NSF AI Institute for Societal Decision Making

RoBCtrl: Attacking GNN-Based Social Bot Detectors via Reinforced Manipulation of Bots Control Interaction

Yingguang Yang, Xianghua Zeng, Qi Wu, Hao Peng, Yutong Xia, Hao Liu, Bin Chong, Philip S. Yu

机构 * University of Science and Technology of China（科学技术大学） ； Beihang University（北京航空航天大学） ； National University of Singapore（国立新加坡大学） ； Peking University（北京大学） ； University of Illinois Chicago（伊利诺伊大学香槟分校） ； Institute for Clarity in Documentation（文档清晰研究所） ； Inria Paris-Rocquencourt（巴黎-拉德克利夫研究所） ； Rajiv Gandhi University（拉贾·甘地大学） ； Tsinghua University（清华大学） ； Palmer Research Laboratories（帕尔默研究实验室） 纠错

专题命中 规划决策 ：agent(abstract)；multi-agent(abstract)；分类 cs.AI、cs.LG

Comments 27 pages, 10 figures

Towards Interpretable and Trustworthy Time Series Reasoning: A BlueSky Vision

Kanghui Ning, Zijie Pan, Yushan Jiang, Anderson Schneider, Yuriy Nevmyvaka, Dongjin Song

机构 * School of Computing University of Connecticut Storrs, CT（计算学院 美国康涅狄格大学 斯托尔斯分校） ； Department of Machine Learning Research Morgan Stanley New York, NY（机器学习研究部 花旗集团 新 York） 纠错

专题命中 规划决策 ：agent(abstract)；multi-agent(abstract)；分类 cs.LG

Planner and Executor: Collaboration between Discrete Diffusion And Autoregressive Models in Reasoning

Lina Berrayana, Ahmed Heakl, Muhammad Abdullah Sohail, Thomas Hofmann, Salman Khan, Wei Chen

机构 * EPFL（苏黎世联邦理工学院） ； MBZUAI（马克斯·普朗克人工智能研究所） ； ETH Zürich（苏黎世联邦理工学院） ； Microsoft Research Asia（微软亚洲研究院） 纠错

专题命中 规划决策 ：planning(abstract)；分类 cs.AI、cs.CL、cs.LG

Comments Under Submission

Quantile Regression, Variational Autoencoders, and Diffusion Models for Uncertainty Quantification: A Spatial Analysis of Sub-seasonal Wind Speed Prediction

Ganglin Tian, Anastase Alexandre Charantonis, Camille Le Coz, Alexis Tantet, Riwal Plougonven

机构 * LMD/IPSL, École Polytechnique, Institut Polytechnique de Paris, ENS,Université PSL, Sorbonne Université, CNRS, Palaiseau, 91120, France（LMD/IPSL、巴黎高等理工学院、巴黎理工研究所、高等科学研究院、巴黎大学、索邦大学、国家科学研究中心，法国） 纠错

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

Comments This Work has been submitted to Monthly Weather Review. Copyright in this Work may be transferred without further notice

VAGEN: Reinforcing World Model Reasoning for Multi-Turn VLM Agents

Kangrui Wang, Pingyue Zhang, Zihan Wang, Yaning Gao, Linjie Li, Qineng Wang, Hanyang Chen, Chi Wan, Yiping Lu, Zhengyuan Yang, Lijuan Wang, Ranjay Krishna, Jiajun Wu, Li Fei-Fei, Yejin Choi, Manling Li

机构 * Northwestern University（西北大学） ； University of Washington（华盛顿大学） ； Stanford University（斯坦福大学） ； Microsoft（微软） ； University of Wisconsin-Madison（威斯康星大学麦迪逊分校） ； University of Illinois Urbana-Champaign（伊利诺伊大学厄巴纳-香槟分校） 纠错

专题命中 规划决策 ：agent(abstract)；分类 cs.AI、cs.CL

Comments Accepted to NeurIPS 2025

General agents contain world models

Jonathan Richens, David Abel, Alexis Bellot, Tom Everitt

机构 * Google DeepMind（谷歌DeepMind） 纠错

专题命中 规划决策 ：agent(abstract)；分类 cs.AI、cs.LG

Comments Accepted ICML 2025. Typos corrected

ATA: A Neuro-Symbolic Approach to Implement Autonomous and Trustworthy Agents

David Peer, Sebastian Stabinger

机构 * Otera Austria（奥特拉奥地利） 纠错

专题命中 规划决策 ：autonomous agent(abstract)；分类 cs.AI、cs.CL