AI 大模型
智能体、工具调用、规划、工作流、多智能体和自主任务执行。
Omni-Flow：面向多模态推理的统一工作流编排与分布式KV缓存共享框架
专题命中 工作流自动化 ：workflow(title)
AI总结 提出Omni-Flow框架，通过三层抽象（控制流、数据流、计算流）统一编排多模态推理工作流，实现异构单元协同、分布式KV缓存共享与高效传输，支持多种多模态场景。
Comments 19 pages
FormIDEAble：安全且具有社会感知能力的自主系统
专题命中 工作流自动化 ：agent(abstract)；autonomous agent(abstract)；分类 cs.SE
AI总结 提出FormIDEAble方法，通过带代价的马尔可夫决策过程建模人机协作，将决策形式化为代价有界可达性问题，在保证安全的同时实现社会感知策略合成。
面向室内环境的模块化视觉-语言-动作机器人框架
机构 * TCS Research, Tata Consultancy Services（塔塔咨询服务公司TCS研究部） ； CMU（卡内基梅隆大学）
专题命中 工作流自动化 ：agent(abstract)；autonomous agent(abstract)；分类 cs.AI
AI总结 提出模块化架构，集成环境建图、问题处理和导航，通过双流并行处理（语义体素建图与语言分类）实现自然语言指令驱动的自主任务执行。
Comments IEEE IROS 2025 Workshop on Generative AI for Robotics and Smart Manufacturing
OpenRCA 2.0：从结果标签到因果过程监督
机构 * The Chinese University of Hong Kong, Shenzhen（香港中文大学（深圳））
专题命中 工作流自动化 ：tool use(abstract)；agentic(abstract)；分类 cs.AI
AI总结 针对现有根因分析数据集仅标注结果而忽略因果传播路径的问题，提出PAVE协议重建因果路径，构建OpenRCA 2.0基准，发现LLM在根因定位中因果验证不足的缺陷。
Comments work in progress
从想法到原型只需一个下午：脚手架式、AI辅助的快速可视化分析原型设计
机构 * Fraunhofer Institute IAIS（弗劳恩霍夫智能分析与信息系统研究所）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI、cs.LG
AI总结 本文通过案例展示，结合工作流语言和AI助手，将可视化分析原型的开发时间从数月缩短至一个下午，并总结了脚手架设计、知识注入和使用方式的三点经验。
生成AI在IT项目管理中应用的系统综述
机构 * Computer Science Department, Technical University of Cluj-Napoca（克莱杰-纳波卡技术大学计算机科学系）
专题命中 工作流自动化 ：AI agent(abstract)；分类 cs.AI、cs.SE
AI总结 本文通过PRISMA方法综述生成AI在IT项目管理中的应用，总结技术、应用趋势、限制及工具整合，指出OpenAI的GPT主导但依赖提示工程，提出三个研究方向：过程组特定AI代理、基于项目角色的AI代理和混合协作网络。
Journal ref https://www.mdpi.com/2079-8954/14/6/722
用于贝叶斯材料设计的代理门控生成与基础模型嵌入
机构 * Texas A&M University（德克萨斯A&M大学） ； Max-Planck-Institute for Sustainable Materials（马克斯·普朗克可持续材料研究所） ； Los Alamos National Laboratory（洛斯阿拉莫斯国家实验室）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 提出一种代理门控生成方法，利用高斯过程代理对扩散先验生成的晶体结构进行排序筛选，在固定预算下匹配或超越无门控微调性能，并识别出ORB嵌入与高斯过程为最可靠的代理组合。
3D高斯散点的本征分解与编辑
机构 * Inria, Université Côte d’Azur（法国国家信息与自动化研究所，蔚蓝海岸大学） ； Cambridge University（剑桥大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 提出将本征分解扩展到高斯散点辐射场的方法，通过独立高斯基元、数据驱动优化和单图纹理编辑实现场景的材质与光照分离及编辑。
Comments 18 pages
Journal ref Proc. ACM Comput. Graph. Interact. Tech. 9, 1, Article 10 (May 2026), 18 pages
利用知识图谱和大语言模型自动化因果规范生成
机构 * Autonomous Industrial Systems Lab, Imperial College London（帝国理工学院自主工业系统实验室）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 提出一种语义AI框架，结合知识图谱与约束大语言模型，自动生成因果逻辑和操作安全叙述，减少手动工作。
ElemeNet：跨周期表的多尺度分子机器学习与不确定性量化
机构 * Department of Chemical Engineering, Massachusetts Institute of Technology（麻省理工学院化学工程系） ； Center for Computational Science and Engineering, Massachusetts Institute of Technology（麻省理工学院计算科学与工程中心） ； Institute for Theoretical Chemistry, University of Stuttgart（斯图加特大学理论化学研究所） ； Institute for Artificial Intelligence, University of Stuttgart（斯图加特大学人工智能研究所） ； Department of Chemistry, Massachusetts Institute of Technology（麻省理工学院化学系）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.LG
AI总结 提出统一软件包ElemeNet，支持元素1-100的分子表示，集成E(3)-等变和Transformer架构，内置不确定性量化，在有机、无机、配位和生物化学数据集上达到竞争性或最优性能。
线性时态回答集编程的元编程
机构 * University of Potsdam, Germany（波恩大学）
专题命中 工作流自动化 ：workflow(abstract)；分类 cs.AI
AI总结 提出一种统一的元编程框架，通过扩展clingo的理论语法并引入转换管道保护嵌套模态，实现了对多种线性时态逻辑（TEL、MEL、DEL）的语义操作化，并开发了metasp系统。
Nazrin: Lean 4中的原子神经证明自动化策略
机构 * Stanford University（斯坦福大学） ； Northeastern University（东北大学）
专题命中 工作流自动化 ：agent(abstract)；分类 cs.LG
AI总结 提出原子策略集、转置原子化算法、ExprGraph数据结构和基于图神经网络的Nazrin证明器，通过仅调度原子策略克服现有证明代理的挑战，并在消费级硬件上训练和评估。
Comments 16 pages, 10 figures
一个用于从OpenStreetMap中可重复提取高速公路网络的开源工具
专题命中 工作流自动化 ：workflow(abstract)
AI总结 提出一个开源工具，从OpenStreetMap提取高速公路网络并转换为紧凑的站参考表示，通过先提取后验证的方法减少人工工作量，并在加州奥兰治县359.6英里高速公路上验证了可扩展性和可重复性。
EnclaveX: 端到端机密AI与CPU/GPU TEE
专题命中 工作流自动化 ：workflow(abstract)
AI总结 本文提出结合CPU和GPU TEE的端到端工作流，通过Intel TDX和AMD SEV-SNP等机制保障AI/LLM应用的机密性和完整性，并评估了性能开销。
Comments 8 pages, 2 figures
克服配置瓶颈：稳定半导体自旋量子比特阵列的模块化路径
专题命中 工作流自动化 ：workflow(abstract)
AI总结 本文提出将自旋量子比特操作视为模块化自动化问题，分解为五个模块，通过标准化接口和指标实现可扩展的稳定运行。
Comments 10 pages, 2 figures, 1 table
确定Vera C. Rubin天文台M1M3主动镜系统基于应力的弯曲模式极限
专题命中 工作流自动化 ：workflow(abstract)
AI总结 提出基于均方根组合有限元分析的快速应力估计方法，验证了弯曲模式应力预测的准确性，支持主动光学校正的实时应力评估与安全限制检查。
Comments 9 pages, 3 figures, 3 tables, SPIE Astronomical Telescopes Instrumentation 2026
FalconApp：通过自动标注的合成数据实现端到端感知的快速iPhone部署
机构 * Department of Electrical and Computer Engineering, University of Illinois at Urbana Champaign（伊利诺伊大学厄巴纳-香槟分校电子与计算机工程系）
专题命中 工作流自动化 ：workflow(abstract)
AI总结 FalconApp通过自动标注的合成数据实现端到端感知的快速iPhone部署，利用手机拍摄的刚体对象生成感知模块，实现遮挡检测和6自由度姿态估计，实验显示其在模拟和现实评估中姿态精度优于PnP基线。
TraceLab: 表征用于LLM服务的编码代理工作负载
机构 * University of Washington（华盛顿大学） ； Wuhan University of Technology（武汉理工大学） ； Shanghai Jiao Tong University（上海交通大学）
专题命中 软件智能体 ：agent(title,abstract)；agentic(abstract)；分类 cs.AI、cs.LG
AI总结 通过收集4300个编码代理会话（含35万LLM步骤和43万工具调用）的真实轨迹，分析发现长自主循环、长上下文短输出、多样化重尾工具调用及高但不完美前缀缓存命中率等特征，为优化服务提供具体方向。
RigorBench: 自主AI编码代理中工程过程纪律的基准测试
专题命中 软件智能体 ：agent(abstract,abstract_cn)；planning(abstract)；agentic(abstract)；分类 cs.AI、cs.SE
AI总结 提出RigorBench基准，通过五个维度评估AI编码代理的过程纪律，实验表明结构化过程纪律使过程质量提升41%，结果正确性提升17%。
Comments 9 pages, 7 tables, 1 figure
DeXposure-Claw: 一个用于DeFi风险监管的智能体系统
机构 * University of Edinburgh（爱丁堡大学） ； University of Glasgow（格拉斯哥大学） ； University of Cambridge（剑桥大学）
专题命中 软件智能体 ：agentic(title,abstract)；分类 cs.AI、cs.CL、cs.LG
AI总结 针对DeFi监管中LLM智能体易误报的问题，提出DeXposure-Claw系统，通过图时间序列基础模型预测风险网络，结合确定性监控和置信度门控生成可审计监管票据，并构建六轴评估基准DeXposure-Bench，实验验证有效性。
ThunderAgent: 一个简单、快速且程序感知的智能推理系统
专题命中 软件智能体 ：agentic(title,abstract)；workflow(abstract)
AI总结 提出ThunderAgent系统，通过LLM程序抽象统一管理KV缓存和工具资源，实现程序感知调度，在编码、路由和科学发现任务中吞吐量提升1.5-3.9倍，磁盘内存节省高达4.2倍。
AxDafny: Dafny中的智能验证代码生成
机构 * Axiomatic AI, Boston, MA, USA（Axiomatic AI，波士顿，马萨诸塞州，美国）
专题命中 软件智能体 ：agentic(title,abstract)；分类 cs.AI
AI总结 提出AxDafny框架，通过验证器引导的修复迭代生成Dafny代码和证明，在LCB-Pro-Dafny和DafnyBench上显著提升验证成功率。
软件开发中的自主代理：愿景论文
专题命中 软件智能体 ：autonomous agent(title)；planning(abstract)；分类 cs.SE
AI总结 本文探讨GPT代理在软件工程中的潜力，提出通过多代理协作提升软件开发效率，展示其在代码生成、文档编写等方面的能力，并规划未来研究方向。
Comments 5 pages, 1 figure
Journal ref International Conference on Agile Software Development, pp. 15-23, Springer, 2024
FeatX: 通过编辑特征来编辑软件以实现仓库级代码演化
专题命中 软件智能体 ：agent(abstract)；workflow(abstract)；分类 cs.SE
AI总结 提出特征导向工具FeatX，通过提取层次化史诗-特征结构并调用三阶段演化代理，将特征编辑转化为代码补丁，显著降低认知负荷并提升修改定位F1达42.6%。
Comments 4 pages, Accepted to the Tools and Datasets Track of ASE 2026
FastContext: 为编码智能体训练高效的仓库探索器
专题命中 软件智能体 ：agent(abstract,abstract_cn)；分类 cs.SE
AI总结 提出专用探索子智能体FastContext，通过并行工具调用和专注上下文生成，分离仓库探索与问题解决，在SWE-bench等任务上提升修复率达5.5%，降低编码智能体token消耗达60%。
Comments The current article involves some product IP issues and needs to be withdrawn and re-approved
校准，而非编译：检测和修复语言模型编写的错误指定概率程序
机构 * RIKEN iTHEMS ； RIKEN AIP ； South China University of Technology（南方科技大学） ； Columbia University（哥伦比亚大学）
专题命中 软件智能体 ：workflow(abstract)；分类 cs.LG
AI总结 本文提出用贝叶斯工作流（后验预测检查、模拟校准等）作为验证器，检测和修复LLM编写的概率程序中的统计错误，在检测（AUC 0.97）和修复（显著优于单元测试反馈）上表现优异。
通过双智能体实现凸松弛的AI辅助发现
专题命中 软件智能体 ：agent(abstract)；分类 cs.AI
AI总结 提出一种双智能体自动研究范式，通过编码智能体提议约束、理论智能体验证并搜索反例，结合区间算术验证，改进了两个优化常数的下界。
论良好权威：注册中心中介的包生态系统的发布权威度量
专题命中 软件智能体 ：workflow(abstract)；分类 cs.SE
AI总结 提出一种前驱感知的发布权威记录，通过比较发布路径证据（发布者、仓库、工作流、来源、签名、中介）识别策略触发的发布路径不连续性，经npm等五个生态系统的审计样本验证，触发策略可有效筛选需审查的发布。
Comments 20 pages
调试作为证据驱动的推理：数据密集型编程中的可视化机会
专题命中 软件智能体 ：workflow(abstract)
AI总结 通过半结构化访谈揭示数据密集型调试中的三个跨领域挑战，并转化为可视化设计需求，为未来研究奠定基础。
Comments 5 pages, 1 figure, submitted to IEEE VIS conference
骨骼的新视角：X射线和超声中的鲁棒姿态估计
机构 * Medical Informatics, University of Lübeck（吕贝克大学医学信息学系） ； Institut of Radiology and Nuclear Medicine, University Hospital Schleswig-Holstein（石勒苏益格-荷尔斯泰因大学医院放射学与核医学研究所） ； Paediatric Surgery, University Hospital Schleswig-Holstein（石勒苏益格-荷尔斯泰因大学医院小儿外科） ； EchoScout GmbH
专题命中 软件智能体 ：planning(abstract)
AI总结 提出基于学习的关键点候选和鲁棒线模型（RANSAC、霍夫变换）的自动骨骼姿态估计方法，在儿科骨折和髋关节发育不良评估中达到临床可接受的误差并优于地标方法。
Comments Accepted at MIUA 2026 (oral presentation); Code and annotations for fracture angle assessment in radiographs: https://github.com/multimodallearning/RobustBonePoseEstimation
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈