AI Agent

AQUAH: Automatic Quantification and Unified Agent in Hydrology

Songkun Yan, Zhi Li, Siyu Zhu, Yixin Wen, Mofan Zhang, Mengye Chen, Jie Cao, Yang Hong

专题命中 工作流自动化 ：agent(title,abstract)；workflow(abstract)；分类 cs.AI

Comments 8 pages, 5 figures, 2025 ICCV SEA workshop paper

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（伊利诺伊大学芝加哥分校） 纠错

专题命中 工作流自动化 ：AI agent(title,abstract)；autonomous agent(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/

Toward a Trustworthy Optimization Modeling Agent via Verifiable Synthetic Data Generation

Vinicius Lima, Dzung T. Phan, Jayant Kalagnanam, Dhaval Patel, Nianjun Zhou

专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.AI

Comments 25 pages

Agentic Privacy-Preserving Machine Learning

Mengyu Zhang, Zhuotao Liu, Jingwen Huang, Xuanqi Liu

机构 * Tsinghua University（清华大学） 纠错

专题命中 工作流自动化 ：agentic(title,abstract)；分类 cs.LG

Theatre in the Loop: A Rehearsal-Based, Collaborative Workflow for Expressive Robotic Behaviours

Pavlos Panagiotidis, Victor Zhi Heung Ngo, Sean Myatt, Roma Patel, Rachel Ramchurn, Alan Chamberlain, Ayse Kucukyilmaz

专题命中 工作流自动化 ：workflow(title,abstract)

Comments The paper is accepted for presentation to International Conference on Social Robotics + AI (https://icsr2025.eu/)

From Legacy to Standard: LLM-Assisted Transformation of Cybersecurity Playbooks into CACAO Format

Mehdi Akbari Gurabi, Lasse Nitz, Radu-Mihai Castravet, Roman Matzutt, Avikarsha Mandal, Stefan Decker

机构 * Fraunhofer FIT（弗劳恩霍夫研究所） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI

Comments 20 pages, including appendices, 32 references, 4 tables, 7 main figures (some of them has sub-figures)

SkeNa: Learning to Navigate Unseen Environments Based on Abstract Hand-Drawn Maps

Haojun Xu, Jiaqi Xiang, Wu Wei, Jinyu Chen, Linqing Zhong, Linjiang Huang, Hongyu Yang, Si Liu

专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI

Comments 9 pages, 5 figures

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

专题命中 工作流自动化 ：agent(abstract)；分类 cs.SE

Reinforcement learning to learn quantum states for Heisenberg scaling accuracy

Jeongwoo Jae, Jeonghoon Hong, Jinho Choo, Yeong-Dae Kwon

机构 * R\&D center, Samsung SDS, Seoul, 05510, Republic of Korea 纠错

专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI

Comments 15 pages, 8 figures

Journal ref Advanced Quantum Technologies 2025

Clinicians' Voice: Fundamental Considerations for XAI in Healthcare

T. E. Röber, R. Goedhart, S. İ. Birbil

机构 * Amsterdam Business School University of Amsterdam（阿姆斯特丹商学院大学） 纠错

专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG

A practical recipe for variable-step finite differences via equidistribution

Mário B. Amaro

专题命中 工作流自动化 ：workflow(abstract)

Comments 6 pages, 2 figures