AI Agent

AgentSim: A Platform for Verifiable Agent-Trace Simulation

AgentSim：可验证代理跟踪模拟平台

Saber Zerhoudi, Michael Granitzer, Jelena Mitrovic

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

AI总结 本文提出AgentSim平台，通过多模型验证和主动人工参与流程，生成可验证的代理推理轨迹，构建了覆盖三个信息检索基准的Agent-Trace Corpus，并揭示了先进模型在信息检索中的系统性差异。

Journal ref Proceedings of the 49th International ACM SIGIR Conference on Research and Development in Information Retrieval (SIGIR '26), July 20--24, 2026, Melbourne, VIC, Australia

Enforcing Benign Trajectories: A Behavioral Firewall for Structured-Workflow AI Agents

强制良性轨迹：一种用于结构化工作流AI代理的行为防火墙

Hung Dang

机构 * Van Lang University（范朗大学） 纠错

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

AI总结 本文提出了一种基于 telemetry 的行为异常检测防火墙，通过构建参数化确定性有限自动机来限制工具调用序列，从而降低攻击成功率，同时保持低延迟和低误报率。

FACT: Compositional Kernel Synthesis with a Three-Stage Agentic Workflow

FACT：基于三阶段代理工作流的组合内核合成

Sina Heidari, Dimitrios S. Nikolopoulos

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

AI总结 FACT框架通过三阶段代理工作流实现PyTorch模块的多模式组合优化，结合CUTLASS C++实现内核合成，提升GPU计算性能。

Agentic Fusion of Large Atomic and Language Models to Accelerate Superconductors Discovery

代理融合大规模原子和语言模型以加速超导体发现

Mingze Li, Yu Rong, Songyou Li, Lihong Wang, Jiacheng Cen, Liming Wu, Anyi Li, Zongzhao Li, Qiuliang Liu, Rui Jiao, Tian Bian, Pengju Wang, Hao Sun, Jianfeng Zhang, Ji-Rong Wen, Deli Zhao, Shifeng Jin, Tingyang Xu, Wenbing Huang

机构 * Gaoling School of Artificial Intelligence, Renmin University of China, Beijing, China（中国人民大学北京校区人工智能学院） ； DAMO Academy, Alibaba Group, Hangzhou, China（阿里巴巴集团达摩院，杭州，中国） ； Hupan Lab, Hangzhou, China（虎扑实验室，杭州，中国） ； Institution of Physics, University of the Chinese Academy of Sciences, Beijing, China（中国科学院物理研究所，北京，中国） ； Department of Computer Science and Technology, Tsinghua University, Beijing, China（清华大学计算机科学与技术系，北京，中国） 纠错

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

AI总结 本文提出ElementsClaw框架，结合大规模原子模型与语言模型，通过自主协作加速超导体发现，筛选240万晶体识别6.8万高置信度候选，发现四个新实验验证超导体。

DreamProver: Evolving Transferable Lemma Libraries via a Wake-Sleep Theorem-Proving Agent

DreamProver：通过唤醒-睡眠定理证明代理演化可转移的引理库

Youyuan Zhang, Jialiang Sun, Hangrui Bi, Chuqin Geng, Wenjie Ma, Zhaoyu Li, Xujie Si

机构 * University of Toronto（多伦多大学） ； UC Berkeley（伯克利大学） 纠错

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

AI总结 DreamProver通过唤醒-睡眠程序归纳范式发现可重用的引理，解决传统方法在适应性和通用性上的不足，通过迭代两阶段过程演化出高效的可转移引理库。

Domain-Adapted Small Language Models for Reliable Clinical Triage

领域适应的小语言模型用于可靠的临床分诊

Manar Aljohani, Brandon Ho, Kenneth McKinley, Dennis Ren, Xuan Wang

机构 * 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模型在准确性和效率上表现最佳。

Data-Centric Foundation Models in Computational Healthcare: A Survey

计算医学中的数据驱动基础模型：一项综述

Yunkun Zhang, Jin Gao, Zheling Tan, Lingfeng Zhou, Kexin Ding, Mu Zhou, Shaoting Zhang, Dequan Wang

机构 * Shanghai Jiao Tong University（上海交通大学） ； Rutgers University（罗切斯特大学） ； Shanghai Jiao Tong University, China（上海交通大学） ； Shanghai Innovation Institute（上海创新研究院） 纠错

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

AI总结 本文综述了计算医学中数据驱动基础模型的发展，探讨了从预训练到推理的数据中心化方法，旨在提升医疗工作流程，并讨论了AI安全、评估及与人类价值观的对齐问题。

Comments Published in ACM Computing Surveys

Journal ref ACM Comput. Surv. 58, 11, Article 287 (August 2026), 35 pages

KAYRA: A Microservice Architecture for AI-Assisted Karyotyping with Cloud and On-Premise Deployment

KAYRA：一种用于AI辅助染色体核型分析的微服务架构

Attila Pintér, Javier Rico, Attila Répai, Jalal Al-Afandi, Adrienn Éva Borsy, András Kozma, Hajnalka Andrikovics, György Cserey

机构 * Jedlik Innovation Ltd.（杰德利克创新有限公司） ； Pázmány Péter Catholic University（帕兹曼·彼得天主教大学） ； Central Hospital of Southern Pest — National Institute of Hematology and Infectious Diseases（南部佩斯中央医院——血液病与传染病国家研究所） ； Faculty of Information Technology and Bionics（信息科技与生物学院） 纠错

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

AI总结 本文提出KAYRA，一种基于微服务架构的端到端核型分析系统，结合EfficientNet-B5+U-Net语义分割器、Mask R-CNN实例检测器和ResNet-18分类器，实现高精度染色体识别与分类。

Quantum Feature Selection with Higher-Order Binary Optimization on Trapped-Ion Hardware

基于阱中离子硬件的高阶二元优化量子特征选择

Carlos Flores-Garrigós, Anton Simen, Qi Zhang, Enrique Solano, Narendra N. Hegade, Sayonee Ray, Claudio Girotto, Jason Iaconis, Martin Roetteler

机构 * Kipu Quantum GmbH（Kipu量子有限公司） ； IDAL, Electronic Engineering Department, ETSE-UV, University of Valencia（IDAL电子工程系，瓦伦西亚大学） ； Department of Physical Chemistry, University of the Basque Country UPV/EHU（物理化学系，巴斯克大学UPV/EHU） ； IonQ Inc.（IonQ公司） 纠错

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

AI总结 本文提出基于高阶无约束二元优化(HUBO)的量子特征选择框架，通过引入多变量依赖关系，提升特征相关性、冗余性和高阶统计结构的建模能力，并通过结构化线性惩罚实现稀疏性。实验在Gallstone和Spambase数据集上验证了其有效性。

Asynchronous Federated Unlearning with Invariance Calibration for Medical Imaging

异步联邦反学习与不变性校准用于医学影像

Zhaoyuan Cai, Xinglin Zhang

机构 * School of Computer Science and Engineering（计算机科学与工程学院） ； South China University of Technology（华南理工大学） ； Guangzhou, China（中国广州） 纠错

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

AI总结 本文提出AFU-IC框架，通过解耦反学习过程与全局训练流程，实现异步反学习，同时利用服务器端不变性校准机制防止模型重新学习被删除的数据，实验表明其在医学影像中具有高效且合规的联邦学习能力。

Comments 8 pages, 5 figures, the article is accepted by IEEE IJCNN 2026

Recipes for Calibration Checks in Safety-Critical Applications

安全关键应用中的校准检查配方

Romeo Valentin

机构 * Stanford University（斯坦福大学） 纠错

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

AI总结 本文提出了一种校准检查框架，用于验证预测系统分布特性，通过模块化流程支持多种应用场景，展示了在天气预测和机器人姿态估计中的应用。

Comments 36 pages, 22 figures. Manuscript prepared with Typst

EmoTransCap: Dataset and Pipeline for Emotion Transition-Aware Speech Captioning in Discourses

EmoTransCap：用于对话中情感过渡感知的语音字幕数据集和流程

Shuhao Xu, Yifan Hu, Jingjing Wu, Zhihao Du, Zheng Lian, Rui Liu

机构 * Inner Mongolian University（内蒙古大学） ； State Key Laboratory of Autonomous Intelligent Unmanned Systems, Tongji University（同济大学 autonomous intelligent unmanned systems 状态关键实验室） 纠错

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

AI总结 本文提出EmoTransCap，通过整合时间情感动态与对话级语音描述，解决现有系统在对话层面情感过渡识别不足的问题，提供大规模数据集和多任务模型以提升情感感知与表达。

Comments 15 pages, 5 figures, including appendix

Budget-Constrained Causal Bandits: Bridging Uplift Modeling and Sequential Decision-Making

预算约束下的因果老虎机：连接提升建模与序列决策

Abhirami Pillai

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

AI总结 本文提出预算约束因果老虎机框架，解决冷启动场景下的广告分配问题，通过在线学习提升用户响应并优化预算分配，相较于传统方法更高效且稳定。

Comments 12 pages, 2 figures, preprint

RL unknotter, hard unknots and unknotting number

结简化强化学习器、难结与结简化数

Anne Dranowski, Yura Kabkov, Daniel Tubbenhauer

机构 * Neapolis University Pafos, Computer Science and Artificial Intelligence Bachelor program（内帕利斯大学帕福斯，计算机科学与人工智能学士项目） ； The University of Sydney, School of Mathematics and Statistics F07（悉尼大学，数学与统计学学院） 纠错

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

AI总结 本文提出一种强化学习管道用于简化结图，通过训练代理学习移动提议和价值启发式方法，测试了非常难的无结图，并通过图膨胀方法在4_1#9_{10}上恢复了结简化数的上界为三。

Comments 19 pages, many figures, comments welcome

Protein folding on a 64 qubit trapped-ion hardware via counterdiabatic quantum optimization

在64个量子比特囚禁离子硬件上通过反向量子优化实现蛋白质折叠

Alejandro Gomez Cadavid, Pavle Nikačević, Pranav Chandarana, Sebastián V. Romero, Enrique Solano, Narendra N. Hegade, Miguel Angel Lopez-Ruiz, Claudio Girotto, Hanna Linn, Hakan Doga, Evgeny Epifanovsky, Panagiotis Kl. Barkoutsos, Ananth Kaushik, Martin Roetteler

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

AI总结 该研究利用反向量子优化在64量子比特离子阱系统中实现了蛋白质折叠优化，通过非变分偏反馈机制提升低能态采样效率，结合量子学习接触信息与可行骨架几何约束，实现了对密集蛋白质折叠哈密顿量的结构化采样。

A Semantic Quantum Circuit Cache for Scalable and Distributed Quantum-Classical Workflows

一种语义量子电路缓存用于可扩展和分布式量子-经典工作流

Mar Tejedor, Javier Conejero, Rosa M. Badia

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

AI总结 本文提出量子电路缓存，通过语义等价检测减少冗余计算，提升量子-经典工作流效率。

Comments 11 pages, 9 figures, 4 tables

System-Level Design of Scalable Fluxonium Quantum Processors with Double-Transmon Couplers

可扩展的fluxonium量子处理器系统级设计与双transmon耦合器

Guo Xuan Chan, Wangwei Lan, Tenghui Wang, Xizheng Ma, Chunqing Deng, Lijing Jin

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

AI总结 本文提出了一种基于双transmon耦合器的fluxonium量子处理器系统设计方法，通过频率分区架构实现高保真单双量子门操作、快速量子比特重置和鲁棒色散读取。

Comments 26 Pages, 13 Figures

Risk Assessments for Evasive Emergency Maneuvers in Autonomous Vehicles

自动驾驶车辆规避紧急机动行为的风险评估

Aliasghar Arab, Milad Khaleghi, Koorosh Aslansefat

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

AI总结 本文提出了一种系统化的验证与验证框架，整合了HARA、STPA和FSM模型，用于评估自动驾驶车辆的规避紧急机动行为，展示了其在T型交叉口案例中的高精度和可追溯性。

Triple-Phase Sequential Fusion Network for Hepatobiliary Phase Liver MRI Synthesis

三相顺序融合网络用于肝胆相肝MRI合成

Qiuli Wang, Xinhuan Sun, Fengxi Chen, Yongxu Liu, Jie Cheng, Lin Chen, Jiafei Chen, Yue Zhang, Xiaoming Li, Wei Chen

机构 * Yu-Yue Pathology Research Center, Jinfeng Laboratory（于越病理研究中心，锦峰实验室） ； Department of Clinical Laboratory Medicine, The First Affiliated Hospital of Army Medical University（临床实验室医学部，陆军军医大学第一附属医院） ； Laboratory of Intelligent Collaborative Computing, University of Electronic Science and Technology of China（智能协同计算实验室，电子科技大学） 纠错

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

AI总结 本文提出TriPF-Net网络，通过整合预肝胆相序列的顺序信息合成肝胆相图像，利用T1加权成像作为基础，结合动脉相和静脉相特征，提升临床工作流程和病变显示效果。

Comments 7 figures, 7 tables

Mimyria: Machine learned vibrational spectroscopy for aqueous systems made simple

Mimyria：用于水合系统的机器学习振动光谱分析方法

Philipp Schienbein

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

AI总结 Mimyria通过整合响应张量学习、自动化训练和频域验证，实现了高效且可靠的振动光谱分析，尤其在水合系统中表现出高精度和小样本训练优势。