Archer: Towards Agentic Review for Compiler Optimizations
Archer：面向编译器优化的智能代码审查
专题命中 工作流自动化 ：agentic(title,abstract)；分类 cs.SE
AI总结 针对编译器优化代码审查能力不足的问题，提出首个自动化智能审查工具Archer，通过义务引导分析和确定性验证守卫，在LLVM上发现21%的开放PR和11%的已关闭PR存在语义错误。
AI 大模型
AI Agent
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
1. 工作流自动化 10427 篇
EO-Agents: A Three-Agent LLM Pipeline for Earth Observation Hypothesis Generation
EO-Agents: 用于地球观测假设生成的三智能体LLM流水线
机构 * ADNET Systems（ADNET系统）
专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.AI
AI总结 提出基于NASA地球观测知识图谱的三智能体LLM流水线，通过图神经网络排序数据集对，生成并评估结构化研究假设，在1475个数据集上产生160个跨领域假设。
Comments Accepted at the ICML 2026 AI for Science Workshop
Formal Semantics for Agentic Tool Protocols: A Process Calculus Approach
智能体工具协议的形式语义：一种进程演算方法
机构 * Swiss Federal Railways (SBB)（瑞士联邦铁路公司）
专题命中 工作流自动化 ：agentic(title)；agent(abstract)；分类 cs.AI
AI总结 本文通过进程演算形式化两种智能体工具协议（SGD和MCP），证明它们在映射Phi下结构互模拟，但反向映射有损，进而提出MCP+扩展实现完全等价。
Comments Logical flaw in Theorem 21
SAGE: Structured Agentic Graph Editing for Software Diagrams
SAGE: 结构化智能体图编辑用于软件图表
专题命中 工作流自动化 ：agentic(title)；workflow(abstract)；分类 cs.SE
AI总结 提出SAGE工具，通过自然语言提示编辑软件图表，将图表映射为可编辑图结构，翻译请求为结构化编辑意图并执行操作，支持验证修复和版本管理，通过单元测试和Kubernetes案例评估有效性。
Comments 4 pages
SenseWalk: Agent-Based Semantic Trajectory Simulation Powered by Large Language Models in Zoned Environments
SenseWalk: 基于智能体的语义轨迹模拟——由大型语言模型在分区环境中驱动
机构 * School of Data Science, Fudan University（复旦大学数据科学学院）
专题命中 工作流自动化 ：agent(title)；workflow(abstract)；分类 cs.AI
AI总结 提出SenseWalk系统，结合大语言模型与社会力模型，通过智能体模拟语义轨迹，并提供用户界面以简化配置与分析，实验验证了其有效性和效率。
Comments 18 pages, 7 figures
Evidence-Driven LLM Agent for C-to-Synthesizable-C Conversion and Verification
证据驱动的LLM智能体用于C到可综合C的转换与验证
专题命中 工作流自动化 ：agent(title)；workflow(abstract)；分类 cs.AI
AI总结 提出一种基于大语言模型的闭环生成-验证-诊断-修复框架，通过四阶段验证器、渐进式不匹配定位链和证据检索增强生成，将C代码转换为HLS可综合C，显著优于现有方法。
Comments 14 pages, 8 figures, submitted to IEEE Transactions on Computer-Aided Design of Integrated Circuits and Systems (TCAD)
Supporting Workflow Reproducibility by Linking Bioinformatics Tools across Papers and Executable Code
通过跨论文和可执行代码链接生物信息学工具支持工作流可重复性
专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.CL
AI总结 本文提出CoPaLink方法，通过实体识别和嵌入相似性解决工作流代码与论文描述中的工具链接问题，提升工作流可重复性和可重用性。
COOPA: A Modular LLM Agent Architecture for Operations Research Problems
COOPA: 面向运筹学问题的模块化LLM智能体架构
机构 * Tsinghua University（清华大学） ； Duke University（杜克大学） ； Yale University（耶鲁大学）
专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.LG
AI总结 提出COOPA模块化LLM智能体架构，通过迭代置信度建模、元素级溯源与多求解器路由，提升运筹问题建模准确性与可解释性，在多个基准上优于基线方法。
auto-psych: Automating the science of mind using agent-driven theory discovery and experimentation
auto-psych: 使用智能体驱动的理论发现与实验自动化心智科学
机构 * Stanford University（斯坦福大学）
专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.AI
AI总结 提出auto-psych系统，通过嵌套智能体循环自动生成认知模型、设计并在线执行实验、收集数据，在抛硬币随机性判断任务中恢复真实理论并优于文献理论。
Comments 30 pages, 5 figures
Scalable AI-assisted Workflow Management for Detector Design Optimization Using Distributed Computing
基于分布式计算的可扩展AI辅助探测器设计优化工作流管理
机构 * Brookhaven National Laboratory（布鲁克海文国家实验室） ； The Catholic University of America（美国天主教大学） ； Duke University（杜克大学） ； Stony Brook University（石溪大学）
专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.AI
AI总结 提出一种结合多目标贝叶斯优化与PanDA-iDDS工作流引擎的AI辅助框架，用于协调异构资源上的迭代仿真，实现高维参数空间的高效探索，并在ePIC和dRICH探测器设计中验证了自动化、可扩展性和效率提升。
OxyMake: A Formally-Specified, Content-Addressable Workflow Engine
OxyMake: 一个形式化规约的、内容可寻址的工作流引擎
专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.SE
AI总结 提出OxyMake，一种基于内容可寻址缓存键的Rust工作流引擎，通过BLAKE3哈希替代文件修改时间戳，避免虚假重执行，并支持跨机器共享缓存。
Comments 38 pages, 3 figures. Source code: https://github.com/noogram/oxymake. Documentation: https://oxymake.noogram.dev
How Your Credentials Are Leaked by LLM Agent Skills: An Empirical Study
你的凭证如何被LLM智能体技能泄露：一项实证研究
机构 * Griffith University（格里菲斯大学） ； Wake Forest University（威克森林大学） ； Nanyang Technological University（南洋理工大学） ； University of New South Wales（新南威尔士大学） ； Zhejiang Sci-Tech University（浙江科技学院） ； The University of Tokyo（东京大学） ； University of Alberta（阿尔伯塔大学） ； Independent Researcher（独立研究者）
专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.AI
AI总结 首次大规模实证研究LLM智能体技能中的凭证泄露问题，通过分析170,226个技能样本，识别出520个受影响技能和10种泄露模式，发现76.3%的案例需跨模态分析，调试日志占73.5%的漏洞，89.6%的泄露凭证可立即利用。
Comments Accepted to ASE 2026 (The 41st IEEE/ACM International Conference on Automated Software Engineering)
Analyzing Defensive Misdirection Against Model-Guided Automated Attacks on Agentic AI Systems
分析针对基于模型引导的自动化攻击的防御性误导策略在智能体AI系统中的应用
机构 * Application & Threat Intelligence Research Center（应用与威胁情报研究中心）
专题命中 工作流自动化 ：agentic(title,abstract)；分类 cs.AI
AI总结 本文通过概率模型分析智能体AI系统的攻击-防御场景，提出“检测-误导”策略（如CMPE）以替代传统“检测-拦截”方法，通过产生误导性响应降低攻击者成功率，并在基准测试中将攻击成功率上限降低两个数量级。
Dual-Agent Framework for Cross-Model Verified Translation of Natural-Language Protocols into Robotic Laboratory Platform
用于将自然语言协议翻译为机器人实验室平台的双智能体跨模型验证框架
机构 * Department of Bionic Machinery, Research Institute of AI Robot, Korea Institute of Machinery & Materials（生物机械系、人工智能机器人研究所、韩国机械材料研究院）
专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.AI
AI总结 提出双智能体框架，通过解析器形式化协议、规则映射引擎生成控制命令、异构LLM验证器纠错，实现自然语言微孔板协议到机器人平台可执行命令的转换，并验证了端到端自主执行。
Surrogate Assisted Pedestrian Protection Design via a Foundation Model Orchestrated Workflow
基于基础模型编排工作流的代理辅助行人保护设计
机构 * Honda Motor Co., Ltd.（本田汽车有限公司）
专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.AI
AI总结 提出首个基础模型编排的碰撞安全设计工作流，集成代理模型、多目标进化搜索、几何生成器和自然语言接口，将行人保护评估时间从数小时降至秒级。
Journal ref ICLR 2026 Workshop The 2nd Workshop on Foundation Models for Science
The Integrator Advantage: Controlled Agentic AI for Small and Medium-Sized Companies
集成优势：面向中小企业的受控代理型人工智能
机构 * University of California, Berkeley（加州大学伯克利分校） ； Stanford University（斯坦福大学）
专题命中 工作流自动化 ：agentic(title,abstract)；分类 cs.AI
AI总结 本文提出代理型AI对中小企业的近期价值在于受控部分自主性，而非完全自主或减员，并给出集成框架以提升生产力。
Comments 10 pages, 15 tables
A Formal Framework for Declarative Agentic AI in Business Process Analysis
业务流程分析中声明式智能体AI的形式化框架
机构 * University of Trento（特伦托大学） ； Istituto di Analisi dei Sistemi ed Informatica (IASI) “Antonio Ruberti”, National Research Council (CNR)（国家研究委员会（CNR）安东尼奥·鲁贝蒂系统分析与信息学研究所（IASI））
专题命中 工作流自动化 ：agentic(title,abstract)；分类 cs.AI
AI总结 提出基于AGO方法的形式化框架，通过集合论和数学逻辑定义智能体、目标和对象实体及其交互，构建业务流程知识库以支持结构化查询、增量更新和自动生成工作流。
Human-Enhanced Loop Modeling (HELM): Agent-Based Finite Element Modeling of Concrete Bridge Barriers
人类增强循环建模（HELM）：基于智能体的混凝土桥梁护栏有限元建模
机构 * College of Civil Engineering, Hunan University（湖南大学土木工程学院） ； Department of Civil and Architectural Engineering, University of Miami（迈阿密大学土木与建筑系） ； School of Architecture, University of Miami（迈阿密大学建筑学院）
专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.AI
AI总结 提出HELM框架，通过人机协作将有限元建模分解为可验证的检查点，在MASH TL-4和TL-5条件下将自主建模成功率从20%提升至75%。
Formalizing Numerical Analysis: An Agent Pipeline and Quality Audit Beyond Kernel Acceptance
数值分析的形式化：超越内核接受的智能体流水线与质量审计
机构 * University of California, Berkeley（加州大学伯克利分校）
专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.AI
AI总结 提出一种编码智能体流水线，将数值分析教材形式化为Lean 4代码，并引入三维质量评估框架（语义正确性、Mathlib复用、跨文件复用），发现编译通过掩盖了不忠实的形式化模式。
From Verdict to Process: Agentic Reinforcement Learning for Multi-Stage Fact Verification
从判决到过程：面向多阶段事实核查的智能体强化学习
机构 * School of Computer Science and Engineering, Sun Yat-sen University（中山大学计算机科学与工程学院）
专题命中 工作流自动化 ：agentic(title,abstract)；分类 cs.AI
AI总结 提出ProFact框架，通过智能体强化学习端到端优化多阶段事实核查流程，引入过程感知奖励解决稀疏延迟监督问题，提升验证性能和推理效率。
From Quality Properties to Practice: A Guideline and Workflow for Explainability Requirements
从质量属性到实践：可解释性需求的指南与工作流
专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.SE
AI总结 提出一个基于指南的迭代工作流，通过结构化文献综述、开发者访谈和从业者调查提炼出十个核心质量属性，并开发工具支持，实验表明工具辅助可减少23.5%的制定时间且需求质量与手动编写相当。
Comments This paper has been accepted at the research track of the 34th IEEE International Requirements Engineering Conference (RE 2026)
Beyond the YAML File: Understanding Real-World GitHub Actions Workflow Adoption
超越YAML文件：理解真实世界的GitHub Actions工作流采用
专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.SE
AI总结 通过分析952个仓库的258,300条工作流运行记录，识别出三种失败响应模式，发现高使用强度与低失败率相关，并揭示了配置-使用差距。
OpenAgenet / OAN White Paper: Open Infrastructure for Trusted Agent Interconnection
OpenAgenet/OAN：可信智能体互连的开放基础设施
机构 * China Academy of Information and Communications Technology（信息与通信技术研究院）
专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.AI
AI总结 针对智能体从孤立应用转向开放多运营商网络时面临的身份验证、治理状态、发现授权、新鲜度和信任证据问题，提出协议无关的信任层OAN，通过根治理身份准入、注册商辅助注册、根验证包发布、授权感知发现和签名可信调用来实现可信互连。
From Prompt to Service: An SLM-Based Agent Orchestration Gateway for AI-Driven Virtual Worlds
从提示到服务：基于SLM的AI驱动虚拟世界代理编排网关
机构 * University of Cambridge（剑桥大学）
专题命中 工作流自动化 ：agent(title,abstract)；分类 cs.AI
AI总结 本文提出一种基于小语言模型的代理编排网关，通过意图驱动的服务路由解耦虚拟世界客户端与异构AI后端，并在虚拟博物馆测试床中验证了其可行性和效率。
A Benchmarking Framework for Multimodal User Interface Toolkits: Comparing Modality Coverage, Developer Workflow, and Experimental Support
多模态用户界面工具包的基准测试框架：比较模态覆盖、开发者工作流和实验支持
专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.SE
AI总结 本文提出一个基于文档分析、技术比较和未来开发者评估的结构化基准框架，从模态覆盖、开发者体验和实验支持三个维度比较多模态用户界面工具包。
Comments 13 pages, 3 tables, 1 figure. Benchmarking framework paper revised and expanded from an HCI seminar draft
TalkPlayData 2: An Agentic Synthetic Data Pipeline for Multimodal Conversational Music Recommendation
TalkPlayData 2：用于多模态对话式音乐推荐的智能体合成数据流水线
机构 * KAIST（韩国科学技术院）
专题命中 工作流自动化 ：agentic(title,abstract)；分类 cs.AI
AI总结 提出TalkPlayData 2，一个由智能体数据流水线生成的多模态对话式音乐推荐合成数据集，通过多角色大语言模型模拟对话并覆盖多种场景，以支持生成式推荐模型训练。
Comments 2025-10-08: updating the stat table with the latest numbers. updated the abstract per the latest license terms
Digging Up Citations: FOSSIL, a Dataset and Workflow for Reference Extraction in Law and the Humanities
挖掘引文：FOSSIL——法律与人文学科参考文献提取的数据集与工作流
机构 * University of Amsterdam（阿姆斯特丹大学）
专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.CL
AI总结 针对法律和人文学科脚注中参考文献提取的挑战，本文提出FOSSIL数据集、PDF-TEI编辑器、标注工作流和Grobid特化模块，将提取质量从0.36提升至0.72（micro-F1）。
Comments This is an extended abstract, peer-reviewed and presented at CiteX2026 https://sites.google.com/view/workshop-on-citation-extractio/startseite
Securing Agentic AI Systems -- A Multilayer Security Framework
保护自主AI系统——一种多层安全框架
机构 * University of California, Berkeley（加州大学伯克利分校）
专题命中 工作流自动化 ：agentic(title,abstract)；分类 cs.AI
AI总结 针对自主AI系统的独特安全挑战，本文采用设计科学研究方法，提出了一种生命周期感知的安全框架MAAIS，并引入自主AI的CIAA概念，通过多层防御机制确保AI生命周期的机密性、完整性、可用性和问责性，最后利用MITRE ATLAS进行验证。
Comments 6 pages, 2 figures, 1 table
Journal ref 2025 IEEE 5th International Conference on Robotics, Automation, and Artificial Intelligence (RAAI)
Automatically Attacking Software Reverse Engineering AI Agents
自动攻击软件逆向工程AI代理
机构 * Naval Postgraduate School（海军学院）
专题命中 工作流自动化 ：AI agent(title)；agentic(abstract)；分类 cs.AI
AI总结 提出基于遗传算法的对抗性提示生成技术（AutoDAN变体），通过注入无关字符串变量欺骗LLM驱动的反汇编与反编译系统，导致其错误分析二进制可执行文件。
Protocol for evaluating ChatGPT in biomedical association generation and verification using a RAG-enabled, cross-model majority voting workflow
使用RAG支持的跨模型多数投票工作流评估ChatGPT在生物医学关联生成与验证中的协议
专题命中 工作流自动化 ：workflow(title,abstract)；分类 cs.CL
AI总结 提出一个协议，通过RAG和跨模型多数投票工作流评估ChatGPT生成疾病中心生物医学关联的能力，并验证其可靠性。
Comments Main Manuscript and Supplementary Information. Both are equally important
Journal ref STAR Protocols, 2026; 7
