Archer: Towards Agentic Review for Compiler Optimizations
Archer:面向编译器优化的智能代码审查
专题命中 工作流自动化 :agentic(title,abstract);分类 cs.SE
AI总结 针对编译器优化代码审查能力不足的问题,提出首个自动化智能审查工具Archer,通过义务引导分析和确定性验证守卫,在LLVM上发现21%的开放PR和11%的已关闭PR存在语义错误。
AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
Archer:面向编译器优化的智能代码审查
专题命中 工作流自动化 :agentic(title,abstract);分类 cs.SE
AI总结 针对编译器优化代码审查能力不足的问题,提出首个自动化智能审查工具Archer,通过义务引导分析和确定性验证守卫,在LLVM上发现21%的开放PR和11%的已关闭PR存在语义错误。
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
SAGE: 结构化智能体图编辑用于软件图表
专题命中 工作流自动化 :agentic(title);workflow(abstract);分类 cs.SE
AI总结 提出SAGE工具,通过自然语言提示编辑软件图表,将图表映射为可编辑图结构,翻译请求为结构化编辑意图并执行操作,支持验证修复和版本管理,通过单元测试和Kubernetes案例评估有效性。
Comments 4 pages
SenseWalk: 基于智能体的语义轨迹模拟——由大型语言模型在分区环境中驱动
机构 * School of Data Science, Fudan University(复旦大学数据科学学院)
专题命中 工作流自动化 :agent(title);workflow(abstract);分类 cs.AI
AI总结 提出SenseWalk系统,结合大语言模型与社会力模型,通过智能体模拟语义轨迹,并提供用户界面以简化配置与分析,实验验证了其有效性和效率。
Comments 18 pages, 7 figures
COOPA: 面向运筹学问题的模块化LLM智能体架构
机构 * Tsinghua University(清华大学) ; Duke University(杜克大学) ; Yale University(耶鲁大学)
专题命中 工作流自动化 :agent(title,abstract);分类 cs.LG
AI总结 提出COOPA模块化LLM智能体架构,通过迭代置信度建模、元素级溯源与多求解器路由,提升运筹问题建模准确性与可解释性,在多个基准上优于基线方法。
auto-psych: 使用智能体驱动的理论发现与实验自动化心智科学
机构 * Stanford University(斯坦福大学)
专题命中 工作流自动化 :agent(title,abstract);分类 cs.AI
AI总结 提出auto-psych系统,通过嵌套智能体循环自动生成认知模型、设计并在线执行实验、收集数据,在抛硬币随机性判断任务中恢复真实理论并优于文献理论。
Comments 30 pages, 5 figures
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
分析针对基于模型引导的自动化攻击的防御性误导策略在智能体AI系统中的应用
机构 * Application & Threat Intelligence Research Center(应用与威胁情报研究中心)
专题命中 工作流自动化 :agentic(title,abstract);分类 cs.AI
AI总结 本文通过概率模型分析智能体AI系统的攻击-防御场景,提出“检测-误导”策略(如CMPE)以替代传统“检测-拦截”方法,通过产生误导性响应降低攻击者成功率,并在基准测试中将攻击成功率上限降低两个数量级。
用于将自然语言协议翻译为机器人实验室平台的双智能体跨模型验证框架
机构 * Department of Bionic Machinery, Research Institute of AI Robot, Korea Institute of Machinery & Materials(生物机械系、人工智能机器人研究所、韩国机械材料研究院)
专题命中 工作流自动化 :agent(title,abstract);分类 cs.AI
AI总结 提出双智能体框架,通过解析器形式化协议、规则映射引擎生成控制命令、异构LLM验证器纠错,实现自然语言微孔板协议到机器人平台可执行命令的转换,并验证了端到端自主执行。
基于基础模型编排工作流的代理辅助行人保护设计
机构 * Honda Motor Co., Ltd.(本田汽车有限公司)
专题命中 工作流自动化 :workflow(title,abstract);分类 cs.AI
AI总结 提出首个基础模型编排的碰撞安全设计工作流,集成代理模型、多目标进化搜索、几何生成器和自然语言接口,将行人保护评估时间从数小时降至秒级。
Journal ref ICLR 2026 Workshop The 2nd Workshop on Foundation Models for Science
集成优势:面向中小企业的受控代理型人工智能
机构 * University of California, Berkeley(加州大学伯克利分校) ; Stanford University(斯坦福大学)
专题命中 工作流自动化 :agentic(title,abstract);分类 cs.AI
AI总结 本文提出代理型AI对中小企业的近期价值在于受控部分自主性,而非完全自主或减员,并给出集成框架以提升生产力。
Comments 10 pages, 15 tables
业务流程分析中声明式智能体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方法的形式化框架,通过集合论和数学逻辑定义智能体、目标和对象实体及其交互,构建业务流程知识库以支持结构化查询、增量更新和自动生成工作流。
人类增强循环建模(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%。
数值分析的形式化:超越内核接受的智能体流水线与质量审计
机构 * University of California, Berkeley(加州大学伯克利分校)
专题命中 工作流自动化 :agent(title,abstract);分类 cs.AI
AI总结 提出一种编码智能体流水线,将数值分析教材形式化为Lean 4代码,并引入三维质量评估框架(语义正确性、Mathlib复用、跨文件复用),发现编译通过掩盖了不忠实的形式化模式。
从判决到过程:面向多阶段事实核查的智能体强化学习
机构 * School of Computer Science and Engineering, Sun Yat-sen University(中山大学计算机科学与工程学院)
专题命中 工作流自动化 :agentic(title,abstract);分类 cs.AI
AI总结 提出ProFact框架,通过智能体强化学习端到端优化多阶段事实核查流程,引入过程感知奖励解决稀疏延迟监督问题,提升验证性能和推理效率。
从质量属性到实践:可解释性需求的指南与工作流
专题命中 工作流自动化 :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)
OmniScientist:一种全模态全学科的AI科学家
机构 * National University of Singapore(新加坡国立大学) ; University of Oxford(牛津大学)
专题命中 工作流自动化 :agent(abstract);autonomous agent(abstract);workflow(abstract);分类 cs.AI、cs.CL
AI总结 本研究提出全模态AI科学家OmniScientist,通过端到端全模态流水线处理多学科异构原始证据,在36个真实案例中完成从原始数据到手稿的全流程,性能优于仅用预计算特征的系统,为通用AI科学家提供可行方案。
Comments 30 pages, 13 figures, 19 tables. Project page: https://omni-scientist.github.io/
AiFlow:面向流式大语言模型应用的带界背压令牌原生反应式编排框架
专题命中 工作流自动化 :agent(abstract);workflow(abstract);multi-agent(abstract);分类 cs.AI、cs.SE
AI总结 针对现有流式LLM工作流编排的背压等管理缺陷,提出AiFlow令牌原生反应式编排模型,经实验验证可降低应用TTFPT并控制队列深度。
Comments 24 pages, 5 figures, 12 tables, 1 algorithm, and 1 code listing. Public implementation: https://github.com/ModelEngine-Group/fit-framework
基于整数非线性规划的无服务器计算中的大规模工作流部署
专题命中 工作流自动化 :workflow(title,abstract)
AI总结 针对无服务器计算中大规模工作流部署的成本与时间优化问题,提出基于整数非线性规划的模型及分解策略,实验显示其比简单部署启发式算法平均提升10%。
Comments This work has been submitted to the IEEE for possible publication. Copyright may be transferred without notice, after which this version may no longer be accessible
具象化研究逻辑:面向定量句法的AI辅助工作流构建与增量优化
专题命中 工作流自动化 :workflow(title,abstract)
AI总结 针对定量句法研究的步骤逻辑隐藏问题,提出QLWF可视化工作流平台,可通过AI辅助将自然语言描述转为可执行工作流,在基准测试中表现优异并发布相关可复用资源。
面向机器学习应用的开源可扩展声呐数据处理工作流
专题命中 工作流自动化 :workflow(title,abstract)
AI总结 该研究提出一种两阶段开源工作流,基于Echopype和Echoregions库构建可扩展的机器学习就绪回声测深数据集,含数据划分与掩码创建,提供教程验证其可行性。
智能体驱动的柔性光纤束内窥镜用于体内高分辨率近红外二区(NIR-II)荧光成像
专题命中 工作流自动化 :agentic(title);agent(abstract)
AI总结 该研究开发了AI驱动的柔性光纤束内窥镜平台,通过光学-计算协同设计及GAME流水线提升NIR-II成像分辨率,实现体内生物样本高分辨率成像,为临床转化奠定基础。
在量子软件开发中通过CI/CD工作流捕获转译漂移
专题命中 工作流自动化 :workflow(title,abstract)
AI总结 该研究针对量子软件开发中工具链变更导致的转译漂移问题,提出了基于GitHub Actions和MLflow的量子DevOps CI/CD工作流,可检测转译漂移并提升量子编译的可观测性与可审计性。
Comments Accepted for publication in the Q-SET Workshop at IEEE QCE 2026
多模态阅读实验的模块化工作流程
专题命中 工作流自动化 :workflow(title,abstract)
AI总结 该研究提出一种基于网络的模块化工作流程,整合眼动、EEG等多模态数据,可适配不同实验设置,用于在线阅读的多模态研究,支持生态情境下的实证验证。
Comments In Proceedings of the 30th International Conference on Knowledge-Based and Intelligent Information & Engineering Systems
基于分布式光纤声波传感(DAS)的长须鲸歌声检测、音符特征表征与定位的端到端工作流程
机构 * Institut de Ciències del Mar (ICM-CSIC)(海洋科学研究所(ICM-CSIC)) ; Institut de Física Corpuscular (IFIC), Centre Mixte Universitat de València (UV-CSIC)(粒子物理研究所(IFIC),瓦伦西亚大学-西班牙高等科研理事会混合中心(UV-CSIC))
专题命中 工作流自动化 :workflow(title,abstract)
AI总结 该研究提出基于分布式光纤声波传感(DAS)的端到端工作流程,实现长须鲸歌声的检测、特征表征与定位,经实测精度与召回率表现良好,为长须鲸监测提供了集成框架。
Comments 14 pages, 8 figures, 2 tables. Manuscript in preparation for journal submission
基于代理的黑手党游戏中的累积怀疑与吸收动力学
专题命中 工作流自动化 :agent(title,abstract)
AI总结 研究黑手党游戏中累积怀疑与吸收动力学,引入基于代理公式,玩家依角色改怀疑分数,幸存玩家按累积怀疑概率被淘汰,经模拟研究人口规模等影响,还探讨侦探作用,模型建立微观与宏观联系。
Comments 9 pages, 4 figures
手术室工作流程数据集的手术重演
机构 * TUM University Hospital(慕尼黑工业大学附属医院) ; TUM School of Medicine and Health(慕尼黑工业大学医学与健康学院) ; TUM School of Computation, Information, and Technology(慕尼黑工业大学计算、信息与技术学院) ; University of Alberta(阿尔伯塔大学)
专题命中 工作流自动化 :workflow(title,abstract)
AI总结 针对获取手术室工作流程真实数据集的难题,提出在重建手术室中重演手术程序的方法,结合多种方式创建可重复注释的数据集,用于训练模型等,还为其他团队提供采用建议。
Comments Accepted at the 4th "Robot-Assisted Medical Imaging" (RAMI) workshop as part of ICRA 2026
一种用于高性能计算环境中可解释机器日志分析的可扩展模式挖掘工作流程
专题命中 工作流自动化 :workflow(title,abstract)
AI总结 研究高性能计算环境中机器日志分析问题,结合先进模式匹配与挖掘技术,利用系统层次结构和消息优先级提取模式序列,关联聚类错误序列与作业日志,经案例研究证明该方法可释放日志数据潜力,助力HPC系统优化。
隐藏行动下连续时间委托代理问题的一般模型
专题命中 工作流自动化 :agent(title,abstract)
AI总结 研究隐藏行动下连续时间委托代理问题,提出新充分条件直接求解代理人问题,无需单独验证,还给出可明确求解的例子。
exa-PD:用于多元素相图构建的可扩展高性能工作流程
专题命中 工作流自动化 :workflow(title,abstract)
AI总结 研究旨在构建多元素相图,核心方法是利用Exa-PD工作流程,结合标准采样技术、MD及MC,通过Parsl协调任务实现大规模并行化,主要贡献是能高效构建多元素相图。
Comments 5 pages, 3 figures. The source code associated with this work is available at https://github.com/ML-AMD/exa-pd