AI-Assisted Completion of CertiGC Proofs: An Experience Report
AI辅助完成CertiGC证明：经验报告
专题命中 工作流自动化 ：workflow(abstract)；agentic(abstract)
AI总结 本文报告使用Codex辅助完成CertiGC垃圾收集器证明的经验，通过引入记录后向边不变量修复证明，并审计清理了过时条件。
Comments 14 pages
AI 大模型
AI Agent
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
1. 工作流自动化 10514 篇
Autonomous Generation of Metamaterial Databases Based on Multimodal Agents
基于多模态代理的元材料数据库自主生成
专题命中 工作流自动化 ：agent(abstract)；multi-agent(abstract)
AI总结 提出MetaDataGenAgent多模态多代理框架，通过文献到仿真的自动化流程，从非结构化科学文献中提取并生成元材料结构-响应数据库，实现远场波束偏转、近场全息成像等功能。
Comments 18 pages, 5 figures
ICA Lens: Interpreting Language Models Without Training Another Dictionary
ICA Lens: 无需训练另一本词典即可解释语言模型
机构 * Independent Researcher（独立研究员） ； University of Maryland（马里兰大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 提出ICALens，基于独立成分分析（ICA）高效提取语言模型表示中可解释方向，无需训练稀疏自编码器，在SAEBench上表现竞争力。
Comments Ongoing Project
Impacts of Histories and Models on LLM Grading: A Study in Advanced Software Engineering Courses
历史与模型对LLM评分的影响：高级软件工程课程研究
机构 * City University of Hong Kong（香港城市大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.CL、cs.SE
AI总结 针对研究生阅读报告评分负担重的问题，提出人机协同的LLM辅助评分流程，基于180份作业评估Grok和GPT的评分一致性与人类对齐，发现交互历史导致评分标准漂移，需特定操作缓解不公平。
Comments 5 pages, accepted by ISET 2026
Twelve quick tips for designing AI-driven HPC workflows
设计AI驱动的高性能计算工作流的十二条快速技巧
机构 * Department of Computer Science（计算机科学系） ； Royal Holloway University of London（伦敦皇家霍洛威大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.LG、cs.SE
AI总结 本文针对AI与HPC融合带来的新挑战，提出十二条实用技巧，涵盖容器化、作业数组、反馈循环和I/O优化，帮助设计高效、可扩展、可复现的AI驱动HPC工作流。
Comments 12 pages, 1 figure. Formatted using the bioRxiv LaTeX preprint style
IDDMBSE: Integrating Data-Driven and Model-Based Systems Engineering for Trusted Autonomous Cyber-Physical Systems
IDDMBSE：集成数据驱动和基于模型的系统工程用于可信自主网络物理系统
机构 * Institute for Systems Research, University of Maryland, College Park（系统研究所，马里兰大学，College Park）
专题命中 工作流自动化 ：planning(abstract)；workflow(abstract)
AI总结 提出IDDMBSE方法，将MBSE V流程与数据驱动循环结合，通过开源工具链PERFECT、TRADES-X和VERITAS实现，在自主地面机器人全生命周期验证其有效性。
Comments 9 pages, 11 figures. This work has been submitted to the IEEE for possible publication
Corruption-free scheme of entering into contract: mathematical model
无腐败合同进入方案：数学模型
专题命中 工作流自动化 ：agent(abstract,abstract_cn)
AI总结 本文提出合同签订中腐败问题的数学模型，分析腐败成因及影响，设计无腐败的资源分配方案，并通过数值示例验证最优行为。
Artificial-Intelligence-Assisted Multi-Modal Terahertz Sensing and Environment Reconstruction
人工智能辅助的多模态太赫兹感知与环境重建
专题命中 工作流自动化 ：agent(abstract)；agentic(abstract)
AI总结 提出一种基于测量的多模态太赫兹感知与视觉框架，结合信号处理与AI视觉模块，通过智能体集成实现室内环境的几何一致且语义可解释的重建。
Generative AI and Digital Ecosystem Resilience: A Proactive Lifecycle-Based Survey
生成式AI与数字生态系统韧性：基于生命周期的主动式综述
机构 * Google LLC（谷歌有限公司）
专题命中 工作流自动化 ：agentic(abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 本文采用基于生命周期的C5交互模型，综合机器学习与社会科学方法，系统综述了针对生成式AI驱动的对抗性合成内容的主动检测技术，包括协调不真实行为分析、流行病学建模和霍克斯过程等，旨在构建更具韧性的信息生态系统。
Comments 14 pages, 3 figures, 3 tables. Accepted for publication in IEEE Access (May 2026)
Journal ref IEEE Access (2026) IEEE Access (2026)
Can Aerial VLA Models Cooperate? Evaluating Closed-Loop Air-Ground Coordination with CARLA-Air
空中VLA模型能协作吗？基于CARLA-Air的闭环空地协调评估
机构 * Southern University of Science and Technology（南方科技大学） ； Fudan University（复旦大学）
专题命中 工作流自动化 ：agent(abstract)；planning(abstract)
AI总结 本文通过构建CARLA-Air仿真环境，评估空中视觉-语言-动作模型在空地协作任务中的表现，发现当前模型难以将单智能体能力转化为稳定协作行为，并指出零样本协作需要伙伴状态显式感知、低延迟动作协调和团队目标对齐三个关键组件。
Comments Code at https://github.com/louiszengCN/CarlaAir
eMZed 3: flexible and interactive development of scalable LC-MS/MS data analysis workflows in Python
eMZed 3：在 Python 中灵活交互式开发可扩展的 LC-MS/MS 数据分析工作流
专题命中 工作流自动化 ：workflow(abstract,abstract_cn)
AI总结 本文介绍 eMZed 3，一个基于 Python 3 的现代框架，用于灵活交互式分析 LC-MS/MS 数据，支持可扩展工作流开发，并包含基于色谱的数据支持、SQLite 后端和丰富可视化工具。
Comments 7 pages, 1 figure
A Universal Cliff and a Design Fingerprint: Cross-Section Defect Detection Under LLM Orchestration
一个通用悬崖与一个设计指纹：LLM编排下的跨段缺陷检测
机构 * Research Institute of Criminal Psychiatry（刑事精神病研究机构） ； Sex Offender Medical Center（性犯罪医疗中心） ； Department of Neuropsychiatry, Graduate School of Medicine, Kyoto University（京都大学医学研究生院神经精神病学部门）
专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI、cs.CL、cs.SE
AI总结 本研究揭示在LLM编排下，所有模型检测跨段矛盾缺陷的能力大幅下降（检测率降低三分之二以上），并发现不同对齐范式下的模型行为差异，其中一家开发商的模型随对齐增强呈现报告标准偏移。
Comments 24 pages, 2 figures. Data and code: doi:10.5281/zenodo.20372696
LiveFigure: Generating Editable Scientific Illustration with VLM Agents
LiveFigure: 利用VLM智能体生成可编辑的科学插图
专题命中 工作流自动化 ：workflow(abstract)；agentic(abstract)
AI总结 提出LiveFigure框架，通过VLM智能体模拟人类多步绘图流程，生成完全矢量化的可编辑科学插图，在17次手动编辑后达到80%的出版就绪率。
Eigen for Statistical and Machine Learning Computing: A Lightweight C++ Tutorial with Python Bindings
Eigen for Statistical and Machine Learning Computing: A Lightweight C++ Tutorial with Python Bindings
专题命中 工作流自动化 ：workflow(abstract,abstract_cn)
AI总结 本文提供了一个轻量级教程，展示如何使用Eigen库将统计和机器学习算法用C++实现，并通过pybind11连接到Python。教程重点在于实用而非方法论，展示了如何用可读的C++编写常见矩阵运算、基于分解的求解器和向量化更新，并通过两个示例（核岭回归和随机梯度下降的矩阵分解）展示其在实际研究软件中的应用。
Operationalising Artificial Intelligence Bills of Materials (AIBOMs) for Verifiable AI Provenance and Lifecycle Assurance
将人工智能物料清单（AIBOM） operationalise 以实现可验证的 AI 追溯和生命周期保证
专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI、cs.LG、cs.SE
AI总结 本文提出了一种扩展CycloneDX标准的AIBOM框架，用于捕捉AI特定的溯源、模型血统和披露元数据，通过结构化架构工程、密码学验证和智能体驱动自动化，实现可验证的软件溯源，展示了98.7%的可重复性保真度、96.2%的漏洞匹配精度和63%的手动监督减少，验证了自动化溯源保证和可重复AI生命周期验证的可行性。
Journal ref Front. Comput. Sci. 8:1735919 (2026)
CosFly: Plan in the Matrix, Fly in the World
CosFly：矩阵中的计划，世界中的飞行
机构 * Autel Robotics（Autel机器人公司） ； Nanjing University（南京大学） ； Peking University（北京大学） ； Southern University of Science and Technology（南方科技大学） ； University of Hong Kong（香港大学）
专题命中 工作流自动化 ：planning(abstract)；workflow(abstract)
AI总结 本文提出CosFly，一个用于空中跟踪的盒状结构规划和多模态模拟流程，以及CosFly-Track大规模无人机数据集，用于在多样环境中动态目标跟踪。CosFly通过将复杂的3D世界转换为结构化障碍表示进行规划，然后将轨迹投影到多模态传感器数据中，并支持可配置的固定视角缩放级别。
How to Train Your Advisor: Steering Black-Box LLMs with Advisor Models
如何训练你的导师：通过导师模型引导黑盒大语言模型
机构 * University of California, Berkeley（加州大学伯克利分校） ； Bespoke Labs（Bespoke实验室）
专题命中 工作流自动化 ：agent(abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 本文提出Advisor Models，通过训练小型开放权重模型生成动态个性化建议，提升黑盒前沿模型性能，实验显示在多个任务中效果显著，且具有良好的迁移性和鲁棒性。
Comments International Conference on Machine Learning (ICML) 2026
Towards Robust Surgical Automation via Digital Twin Representations from Foundation Models
通过基础模型生成的数字孪生表示实现鲁棒的手术自动化
机构 * Johns Hopkins University（约翰霍普金斯大学）
专题命中 工作流自动化 ：agent(abstract)；planning(abstract)
AI总结 本文提出基于数字孪生的感知方法，结合LLM代理与dVRK平台，实现手术任务规划的鲁棒性与泛化能力，为手术自动化提供新的解决方案。
Stop Holding Your Breath: CT-Informed Gaussian Splatting for Dynamic Bronchoscopy
停止屏息：基于CT的高斯点云法用于动态支气管镜
机构 * University of North Carolina at Chapel Hill（北卡罗来纳大学教堂山分校） ； Harvard Medical School（哈佛医学院） ； University of California, San Diego（加州大学圣地亚哥分校）
专题命中 工作流自动化 ：planning(abstract)；workflow(abstract)
AI总结 本文提出利用患者特定的呼吸模型消除屏息协议需求，通过配对呼气吸气CT扫描减少呼吸运动，实现连续的变形感知重建。
Domain-Adapted Small Language Models for Reliable Clinical Triage
领域适应的小语言模型用于可靠的临床分诊
机构 * Department of Computer Science, Virginia Tech, Blacksburg, VA, US（弗吉尼亚理工学院计算机科学系，弗吉尼亚理工学院，布莱克斯堡，VA，美国） ； Children’s National Hospital, Washington DC, USA（儿童医学中心，华盛顿特区，美国）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 本文研究了小语言模型在急诊分诊中的应用，发现通过领域适应可显著降低误诊率，Qwen2.5-7B模型在准确性和效率上表现最佳。
From Local to Global: Revisiting Structured Pruning Paradigms for Large Language Models
从局部到全局：重新审视大型语言模型的结构剪枝范式
机构 * University of North Carolina at Charlotte（北卡罗来纳大学夏洛特分校） ； DreamSoul ； University of Minnesota（明尼苏达大学） ； Intel Corporation（英特尔公司）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 本文提出GISP，一种基于全局重要性度量的迭代结构剪枝方法，通过去除注意力头和MLP通道提升模型效率和下游任务性能。
Comments 20 pages, 6 figures. Accepted by ACL2026 Main Conference
CineAGI: Character-Consistent Movie Creation through LLM-Orchestrated Multi-Modal Generation and Cross-Scene Integration
CineAGI：通过LLM协同多模态生成与跨场景整合实现角色一致的电影创作
专题命中 工作流自动化 ：agent(abstract)；multi-agent(abstract)
AI总结 CineAGI通过多代理叙事合成模块、角色中心流水线和分层音视频同步机制，提升电影创作的一致性和质量，实现40%的整体一致性提升。
Comments Accepted to ICME 2026
APRVOS: 1st Place Winner of 5th PVUW MeViS-Audio Track
APRVOS：第五届PVUW MeViS-Audio赛道第一名获奖作品
机构 * Pengcheng Laboratory（鹏城实验室） ； Harbin Institute of Technology（哈尔滨工业大学） ； University of California at Merced（加州大学默塞德分校）
专题命中 工作流自动化 ：agent(abstract)；agentic(abstract)
AI总结 本文提出针对MeViS_Audio任务的音频感知视频目标分割框架，通过语音转录和视觉存在验证提升分割精度，结合Sa2VA和SAM3实现粗分割与精修，分阶段处理音频到视频分割问题。
Reading Between the Pixels: Linking Text-Image Embedding Alignment to Typographic Attack Success on Vision-Language Models
在像素之间阅读：将文本-图像嵌入对齐与字体攻击成功性联系起来
机构 * Cisco Systems（思科系统）
专题命中 工作流自动化 ：autonomous agent(abstract)；agentic(abstract)
AI总结 研究了视觉-语言模型中字体提示注入攻击的影响，发现字体大小、文本攻击有效性及嵌入距离对攻击成功率有显著影响，为防御策略提供实证指导。
Comments Accepted at ICLR 2026 Workshop on Agents in the Wild
Visible, Trackable, Forkable: Opening the Process of Science
可见、可跟踪、可分支：开启科学进程
专题命中 工作流自动化 ：AI agent(abstract)；workflow(abstract)
AI总结 本文提出通过开放科学进程而非仅其产出，提升科学进展速度、推理可及性、主张可信度及质量保障可扩展性，提出可见、可跟踪、可分支三大属性。
Decentralized Scalar Field Mapping using Gaussian Process
基于高斯过程的去中心化标量场映射
专题命中 工作流自动化 ：agent(abstract)；multi-agent(abstract)
AI总结 本文提出去中心化交集数据共享与同化协议，通过局部高斯过程模型和子域重叠几何构造邻居特定包，提升团队预测性能。
The HTC-Claw: Automating Discovery through High-Throughput Computational Campaigns
HTC-Claw：通过高通量计算活动实现发现自动化
专题命中 工作流自动化 ：agent(abstract)；workflow(abstract)
AI总结 本文提出HTC-Claw平台，通过智能分解研究目标、闭环执行引擎和自适应决策机制，提升材料发现的自动化水平。
Structure Matters: Evaluating Multi-Agents Orchestration in Generative Therapeutic Chatbots
结构至关重要：评估生成治疗聊天机器人中多代理协调
专题命中 工作流自动化 ：agent(abstract)；multi-agent(abstract)
AI总结 研究探讨了基于LLM的多代理系统在生成治疗聊天机器人中的表现，发现其在对话自然度和人类感方面优于单一代理和无指导LLM，证明架构协调对治疗AI的重要性。
UNICA: A Unified Neural Framework for Controllable 3D Avatars
UNICA：一种统一的神经框架用于可控的3D人形 avatars
机构 * Nanjing University（南京大学） ； State Key Laboratory of Novel Software Technology（计算机软件新技术国家重点实验室）
专题命中 工作流自动化 ：planning(abstract)；workflow(abstract)
AI总结 UNICA通过动作条件扩散模型和点转换器生成可控的3D人形，实现无需骨骼的统一生成框架，支持自由视角渲染和动态衣物处理。
Comments Opensource code: https://github.com/zjh21/UNICA
OneComp: One-Line Revolution for Generative AI Model Compression
OneComp: 生成AI模型压缩的单行革命
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 OneComp通过自动化流程实现生成AI模型压缩，结合混合精度分配和逐步量化阶段，提升模型部署效率与性能。
Comments 31 pages, 6 figures
