AI Agent

PAT-Agent: Autoformalization for Model Checking

Xinyue Zuo, Yifan Zhang, Hongshu Wang, Yufan Cai, Zhe Hou, Jing Sun, Jin Song Dong

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

Comments Accepted in ASE 2025 (International Conference on Automated Software Engineering)

Enter the Mind Palace: Reasoning and Planning for Long-term Active Embodied Question Answering

Muhammad Fadhil Ginting, Dong-Ki Kim, Xiangyun Meng, Andrzej Reinke, Bandi Jai Krishna, Navid Kayhani, Oriana Peltzer, David D. Fan, Amirreza Shaban, Sung-Kyun Kim, Mykel J. Kochenderfer, Ali-akbar Agha-mohammadi, Shayegan Omidshafiei

机构 * Field AI Research Institute (FAIRI)（Field AI研究机构） ； Stanford University（斯坦福大学） 纠错

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

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)；AI agent(abstract)；分类 cs.AI

Enhancing Financial RAG with Agentic AI and Multi-HyDE: A Novel Approach to Knowledge Retrieval and Hallucination Reduction

Akshay Govind Srinivasan, Ryan Jacob George, Jayden Koshy Joe, Hrushikesh Kant, Harshith M R, Sachin Sundar, Sudharshan Suresh, Rahul Vimalkanth, Vijayavallabh

机构 * Indian Institute of Technology Madras（印度理工学院马德拉斯学院） 纠错

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

Comments 14 Pages, 8 Tables, 2 Figures. Accepted and to be published in the proceedings of FinNLP, Empirical Methods in Natural Language Processing 2025

OpenHA: A Series of Open-Source Hierarchical Agentic Models in Minecraft

Zihao Wang, Muyao Li, Kaichen He, Xiangyu Wang, Zhancun Mu, Anji Liu, Yitao Liang

机构 * Peking University（北京大学） ； National University of Singapore（新加坡国立大学） 纠错

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

Toward PDDL Planning Copilot

Yarin Benyamin, Argaman Mordoch, Shahaf S. Shperberg, Roni Stern

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

Redefining CX with Agentic AI: Minerva CQ Case Study

Garima Agrawal, Riccardo De Maria, Kiran Davuluri, Daniele Spera, Charlie Read, Cosimo Spera, Jack Garrett, Don Miller

机构 * Minerva CQ AI Research Division（Minerva CQ人工智能研究部） 纠错

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

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)；workflow(abstract)；分类 cs.AI

Comments Presented at the KEPS-Workshop, ICAPS 2025

Agentic Temporal Graph of Reasoning with Multimodal Language Models: A Potential AI Aid to Healthcare

Susanta Mitra

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

Toward Generation of Test Cases from Task Descriptions via History-aware Planning

Duy Cao, Phu Nguyen, Vy Le, Tien N. Nguyen, Vu Nguyen

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

Comments Change the method and experimentation

Depth-Bounded Epistemic Planning

Thomas Bolander, Alessandro Burigana, Marco Montali

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

Comments Extended version of paper accepted at KR 2025

Real-Time Instrument Planning and Perception for Novel Measurements of Dynamic Phenomena

Itai Zilberstein, Alberto Candela, Steve Chien

机构 * School of Computer Science, Carnegie Mellon University（卡内基梅隆大学计算机科学系） ； Jet Propulsion Laboratory, California Institute of Technology（喷气推进实验室，加州理工学院） 纠错

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

Comments Appears in Proceedings of 18th Symposium on Advanced Space Technologies in Robotics and Automation

Integrating Large Language Models with Network Optimization for Interactive and Explainable Supply Chain Planning: A Real-World Case Study

Saravanan Venkatachalam

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

AirRAG: Autonomous Strategic Planning and Reasoning Steer Retrieval Augmented Generation

Wenfeng Feng, Chuzhan Hao, Yuewei Zhang, Guochao Jiang, Jingyi Song, Hao Wang

机构 * Alibaba Cloud Computing（阿里巴巴云 computing） 纠错

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

Comments 20 pages, EMNLP25 Accepted

Sim-to-Real Transfer of Deep Reinforcement Learning Agents for Online Coverage Path Planning

Arvi Jonnarth, Ola Johansson, Jie Zhao, Michael Felsberg

机构 * Department of Electrical Engineering, Linköping University, Sweden（瑞典林雪平大学电气工程系） ； Department of Information and Communication Engineering, Dalian University of Technology, China（中国大连理工大学信息与通信工程学院） ； School of Engineering, University of KwaZulu-Natal, Durban, South Africa（南非夸祖鲁-纳塔尔大学工程学院） 纠错

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

Comments Published in IEEE Access

Journal ref IEEE Access, 2025, volume 13, pages 106883-106905

S3LoRA: Safe Spectral Sharpness-Guided Pruning in Adaptation of Agent Planner

Shuang Ao, Gopal Rumchurn

机构 * Shuang Ao ； Gopal Rumchurn 纠错

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

Comments 9 pages, 2 figures

Towards Agent-based Test Support Systems: An Unsupervised Environment Design Approach

Collins O. Ogbodo, Timothy J. Rogers, Mattia Dal Borgo, David J. Wagg

机构 * Dynamic Research Group（动态研究组） ； School of Mechanical, Aerospace and Civil Engineering（机械、航空航天与土木工程学院） ； University of Sheffield（谢菲尔德大学） ； Siemens Digital Industries Software NV（西门子数字工业软件公司） ； The Alan Turing Institute（艾伦·图灵研究所） 纠错

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

Comments 17 pages, 11 figures; currently under peer review

Automated surgical planning with nnU-Net: delineation of the anatomy in hepatobiliary phase MRI

Karin A. Olthof, Matteo Fusagli, Bianca Güttner, Tiziano Natali, Bram Westerink, Stefanie Speidel, Theo J. M. Ruers, Koert F. D. Kuhlmann, Andrey Zhylka

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

Comments 14 pages, 5 figures

AIM-Bench: Evaluating Decision-making Biases of Agentic LLM as Inventory Manager

Xuhua Zhao, Yuxuan Xie, Caihua Chen, Yuxiang Sun

机构 * School of Management and Engineering, Nanjing University（南京大学管理工程学院） ； School of Robotics and Automation, Nanjing University (Suzhou Campus‌)（南京大学机器人与自动化学院） 纠错

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

Edge General Intelligence Through World Models and Agentic AI: Fundamentals, Solutions, and Challenges

Changyuan Zhao, Guangyuan Liu, Ruichen Zhang, Yinqiu Liu, Jiacheng Wang, Jiawen Kang, Dusit Niyato, Zan Li, Xuemin, Shen, Zhu Han, Sumei Sun, Chau Yuen, Dong In Kim

机构 * College of Computing and Data Science, Nanyang Technological University（南洋理工大学计算与数据科学学院） ； School of Automation, Guangdong University of Technology（广东工业大学自动化学院） ； State Key Laboratory of Integrated Services Networks, Xidian University（西安电子科技大学集成服务网络国家重点实验室） ； Department of Electrical and Computer Engineering, University of Waterloo（滑铁卢大学电气与计算机工程系） ； Department of Computer Science and Engineering, Kyung Hee University（韩国庆熙大学计算机科学与工程系） ； Institute for Infocomm Research, Agency for Science, Technology and Research（科技研究局信息通信研究所） ； Department of Electrical and Computer Engineering, Sungkyunkwan University（庆熙大学电气与计算机工程系） 纠错

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

Comments 21 pages. 9 figures

SHIELDA: Structured Handling of Exceptions in LLM-Driven Agentic Workflows

Jingwen Zhou, Jieshan Chen, Qinghua Lu, Dehai Zhao, Liming Zhu

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

Rejecting Hallucinated State Targets during Planning

Mingde Zhao, Tristan Sylvain, Romain Laroche, Doina Precup, Yoshua Bengio

机构 * McGill University（麦吉尔大学） ； Mila (Quebec AI Institute)（蒙特利尔AI研究所） ； Google Deepmind（谷歌DeepMind） 纠错

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

Comments [20250810]: ICML 2025 Camera Ready, https://github.com/mila-iqia/delusions

GeoSR: Cognitive-Agentic Framework for Probing Geospatial Knowledge Boundaries via Iterative Self-Refinement

Jinfan Tang, Kunming Wu, Ruifeng Gongxie, Yuya He, Yuankai Wu

机构 * School of Computer Science（计算机学院） ； Sichuan University（四川大学） ； National Key Laboratory of Fundamental Science on Synthetic Vision（合成视觉基础科学国家重点实验室） 纠错

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

Comments 16 pages, 9 figures

Assessing Agentic Large Language Models in Multilingual National Bias

Qianying Liu, Katrina Qiyao Wang, Fei Cheng, Sadao Kurohashi

机构 * National Institute of Informatics, Japan（日本信息机构国家研究所） ； University of Wisconsin—Madison, USA（美国威斯康星大学麦迪逊分校） ； Kyoto University, Japan（日本京都大学） 纠错

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

Comments Accepted to ACL 2025 Findings. 14 pages

Distributed AI Agents for Cognitive Underwater Robot Autonomy

Markus Buchholz, Ignacio Carlucho, Michele Grimaldi, Yvan R. Petillot

机构 * School of Engineering & Physical Sciences, Heriot-Watt University（工程与物理科学学院，赫里奥特-瓦特大学） 纠错

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

Exploring Agentic Artificial Intelligence Systems: Towards a Typological Framework

Christopher Wissuchek, Patrick Zschech

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

Comments Preprint accepted for archival and presentation at the Pacific-Asia Conference on Information Systems (PACIS) 2025, Kuala Lumpur, Malaysia

OR-LLM-Agent: Automating Modeling and Solving of Operations Research Optimization Problems with Reasoning LLM

Bowen Zhang, Pengcheng Luo, Genke Yang, Boon-Hee Soong, Chau Yuen

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

Comments 8 pages, 13 figures

Contrastive learning-based agent modeling for deep reinforcement learning

Wenhao Ma, Yu-Cheng Chang, Jie Yang, Yu-Kai Wang, Chin-Teng Lin

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

Comments 10 pages, 8 figures

A Framework for Analyzing Abnormal Emergence in Service Ecosystems Through LLM-based Agent Intention Mining

Yifan Shen, Zihan Zhao, Xiao Xue, Yuwei Guo, Qun Ma, Deyu Zhou, Ming Zhang

机构 * College of Intelligence and Computing（智能与计算学院） ； Tianjin University（天津大学） ； Tianjin Key Laboratory of Healthy Habitat and Smart Technology（天津健康人居与智能技术重点实验室） ； Laboratory of Computation and Analytics of Complex Management Systems（复杂管理系统计算与分析实验室） ； School of Software（软件学院） ； Shandong University（山东大学） ； Joint SDU-NTU Centre for Artificial Intelligence Research (C-FAIR)（SDU-NTU人工智能研究联合中心（C-FAIR）） ； Faculty of Environment, Science and Economy（环境、科学与经济学院） 纠错

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

The Emergence of Deep Reinforcement Learning for Path Planning

Thanh Thi Nguyen, Saeid Nahavandi, Imran Razzak, Dung Nguyen, Nhat Truong Pham, Quoc Viet Hung Nguyen

机构 * Faculty of Information Technology, Monash University（墨尔本大学信息科技学院） ； Swinburne University of Technology（斯威本技术大学） ； Mohamed bin Zayed University of Artificial Intelligence（穆罕默德·本·扎耶德人工智能大学） ； The University of Queensland（昆士兰大学） ； Sungkyunkwan University（成均馆大学） ； Griffith University（格里菲斯大学） 纠错

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

Comments Accepted for publication in the Proceedings of the 2025 IEEE International Conference on Systems, Man, and Cybernetics (SMC)