AI Agent

Coverage-Driven RTL Assertion Generation with Formal Exploration and Neuro-Symbolic Refinement

基于形式化探索与神经符号优化的覆盖率驱动RTL断言生成

Zhiyuan Yan, Ziyue Zheng, Hongce Zhang

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

AI总结 该研究提出NeuroAssertion框架，结合形式化迹生成、SyGuS与智能体启发优化，实现覆盖率驱动的RTL断言生成，断言数量与突变覆盖率均约为传统方法的2倍。

Comments Accepted at MLCAD 2026

When Do Microservices Save Energy? Evidence from Environmental Simulation Workflows

微服务何时能节能？来自环境模拟工作流的证据

Joshua Rowley, Abdessalam Elhabbash

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

AI总结 该研究通过将四个环境模型构建为容器化微服务工作流，对比不同编排方式与单体执行的能耗，发现微服务对小型模型会增耗，而较大工作流采用事件驱动编排或选择性下游重执行可实现节能。

Comments 5 pages, 7 figures. Accepted at the 2nd International Workshop on Low Carbon Computing (LOCO 2026), Lancaster University, United Kingdom, 10-11 September 2026. Part of the LOCO 2026 proceedings, arXiv:2608.02072

Improving Rural Medication Safety with AI: A Scoping Review

用人工智能提升农村用药安全：一项范围综述

Jeong-ah Kim, Muhammad Ashad Kabir, Daniel Terry, Maryam Rouhi

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

AI总结 本范围综述探究AI在农村医疗场景中提升用药安全的应用，发现AI可覆盖用药全流程，机器学习类技术能减少34%-80%的用药错误，但存在基础设施不足等农村特有挑战。

Comments 23 pages

A Comprehensive Review of Large Language Models for Nanophotonics: From Surrogate Modeling to Autonomous Design

面向纳米光子学的大语言模型综合综述：从代理建模到自主设计

Huanshu Zhang, Kegeng Tang, Lei Kang, Sawyer D. Campbell, Zihao Wang, Douglas H. Werner

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

AI总结 该综述探讨大语言模型（LLMs）如何通过语义接口、代码生成及工具编排改进纳米光子学工作流，梳理相关方法的两类模式及跨学科应用，展望具备物理感知的多模态基础模型，推动AI从被动工具向主动科研合作者转变。

Comments Accepted for publication in Advanced Photonics

Mr.Dec: Daily-Scale Longitudinal Multimodal Modeling for 30-Day Readmission Prediction

Mr.Dec：用于30天再入院预测的日尺度纵向多模态建模

Minjun Kim, Jong Hak Moon

机构 * Yeji X 纠错

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

AI总结 本研究提出Mr.Dec模型，通过Transformer解码器整合每日EHR与CXR数据，结合疾病特异性监督对比学习，在MIMIC-IV等数据集上实现30天再入院预测的SOTA性能，还可识别住院关键天数提供临床解释。

Comments MICCAI 2026 MultiTab Workshop Oral

Experiential Learning of Runtime Monitoring Using Pachinko

使用弹珠台（Pachinko）进行运行时监控的体验式学习

Miles Scharff, Maria Chemodanova, Mark Santolucito

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

AI总结 本文介绍了一项以交互式弹珠台游戏为载体的课堂作业，依托双核ESP32工作流，通过实践式项目教学教授运行时监控知识，相关资源可移植至其他同类课程。

Comments 5 pages, 2 figures, TEAL 2026

Deep learning-based computed tomography (CT) derived body composition classifier for colorectal cancer patients

基于深度学习的结直肠癌患者CT衍生身体成分分类器

Eve Harling, Chattarin Pumtako, Bernd Porr, Donald C McMillan, Ross D Dolan

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

AI总结 本研究训练AlexNet等四种深度学习模型自动分析结直肠癌患者CT衍生身体成分，GoogLeNet和AlexNet表现优异，模型可部署于网络应用，有望简化临床身体成分分析流程。

Comments 27 pages, 4 figures

Look Before You Lift: Visual and Quantitative Diagnostics for Topological Deep Learning

先看再提升：拓扑深度学习的视觉与定量诊断

Mathilde Papillon, Guillermo Bernárdez, Álvaro Ballón Barreiro, Marco Montagna, Rémi Devaux, Antoine Jardin, Nina Miolane

机构 * University of California Santa Barbara（加州大学圣巴巴拉分校） ； Sapienza Universitá di Roma（罗马大学） ； Arlequin AI 纠错

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

AI总结 该研究提出TopoExplorer可视化技术，将TDL工作流重构为“提升-查看-设计-训练”，通过可视化提升后数据集的邻域与关键图指标，辅助TDL预处理设计，提升模型开发的原则性、可解释性与效率。

Spectral Rank Certification for Foundation Model Adapters

基础模型适配器的谱秩验证

Mohammed Ahnouch, Lotfi Elaachak

机构 * Université Paris 1（巴黎第一大学） ； Faculty of Science and Technology of Tangier（丹吉尔科学与技术学院） ； Abdelmalek Essaadi University（阿卜杜勒-马利克·埃萨迪大学） 纠错

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

AI总结 本研究针对基础模型适配器开发有限样本谱秩验证框架，提出PEFT LoRA适配器的经验空工作流程，经26个公开适配器审计发现校准有效秩远小于名义秩，且能量保留与统计惊喜对应不同问题。

Comments 11 pages, 4 figures , KDD 2026 Workshop TensorKDD

AgentR A Stateful and Recovery-Aware Software Architecture for LLM-based Auditable Workflows

AgentR：面向基于大语言模型的可审计工作流的有状态且故障恢复感知的软件架构

Riya Samanta, Bidyut Saha, Soumya Kanti Ghosh, Rajkumar Buyya

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

AI总结 提出AgentR架构，以有状态设计结合异步编排与成本审计，实现LLM工作流的高可恢复性、可观测性与可审计性，原型在文献综述场景验证获99.2%作业完成率及最高4.3倍并行加速

Constraint-Aware Synthetic Tabular Data Generation via Inter-Column Constraint Discovery with LLM Agents

基于大语言模型智能体的列间约束发现的约束感知合成表格数据生成

Jianxing Zhao, Mao Guan, Dongyu Liu

机构 * University of California, Davis（加州大学戴维斯分校） 纠错

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

AI总结 该研究针对合成表格数据易违反领域约束的问题，提出基于大语言模型智能体的列间约束发现的统一工作流，结合后处理器修复输出，提升了约束合规性与下游效用。

Looks Can be Deceiving: Annotator and Reviewer Performance Across Imagery Sources in Crowd-Sourced Aerial Damage Assessment

表象可能具有欺骗性：众包航空损伤评估中不同影像来源下标注者与审核者的表现

Thomas Manzini, Priyankari Perali, Raisa Karnik, Stephen Johnson, Robin R. Murphy

机构 * Texas A&M University（德克萨斯农工大学） ； University of Maryland（马里兰大学） 纠错

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

AI总结 本文研究多源航空影像损伤评估的标注与审核表现，发现低分辨率影像标注分歧更高，为多源数据集构建提出三项建议。

Comments Accepted ACM HCOMP'26. 13 pages, 6 figures

From Style Replication to Style Exploration: Enabling Art Style Exploration with Analyze-Experiment-Resituate Framework

从风格复制到风格探索：借助分析-实验-重定位框架实现艺术风格探索

Wen-Fan Wang, TsaiHsuan Lin, Chi-Lan Yang, An-Ru Cheng, Bing-Yu Chen

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

AI总结 该研究针对现有生成式AI工具在艺术风格探索上的不足，提出AER框架，经原型系统及对照、实地研究验证，可提升艺术家风格探索的自主性与反思性，为未来艺术辅助工具设计提供启示。

Comments Accepted to UIST '26

AgilePE: Autonomous UAV Pursuit-Evasion via Self-Play Reinforcement Learning

AgilePE：基于自博弈强化学习的自主无人机追逃

Wenhao Tang, Tianyang Chen, Zhejun Cui, Boyuan An, Jiayu Chen, Ruize Zhang, Huidong Liu, Tianyue Wu, Qingmin Liao, Fei Gao, Yu Wang, Chao Yu

机构 * Zhejiang University（浙江大学） ； Tsinghua University（清华大学） ； Chongqing University（重庆大学） 纠错

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

AI总结 该研究提出AgilePE系统，通过自博弈强化学习实现自主无人机追逃，其策略可零样本迁移至真实四旋翼，展现出复杂追逃战术与交互式部署能力。

Comments 8 pages, 7 figures. Under review

HELIX: Model-Harness Co-evolution for Recursive Self-Improvement

HELIX：用于递归自我改进的模型-控制器协同进化

Tianyu Fan, Chao Huang

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

AI总结 HELIX是支持模型-控制器协同进化的可溯源框架，在代码修复任务中，其65个候选组合提升了4.0%任务覆盖率，生成438条学习记录，形成模型、控制器与数据的反馈系统。

BCIJelly: An integrated ecosystem for brain-computer interface research

BCIJelly：用于脑机接口研究的集成生态系统

Liyuan Han, Xinrui Yang, Tianyu Zheng, Qizhi Yang, Yitao Qin, Liang Chen, Qinglai Wei, Binjie Hong, Xinhe Zhang, Rui Xiong, Yong Gu, Mu-ming Poo, Bo Xu, Chengyu Li, Tielin Zhang

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

AI总结 BCIJelly是集成多类BCI数据集、解码器及工具的Python生态系统，可通过AAS与LLM支持多任务跨物种解码，经多范式多物种验证，为BCI研究提供统一可扩展的开发部署基础设施。

Comments 67 pages, 6 figures, 7 extended data figures, 20 supplementary tables

Beyond Handcrafted Security: Towards Self-Evolving Defense for LLM Agents

超越手工安全：面向大语言模型智能体的自演化防御

Jiajun Ruan, Peiyang Li, Yukun Chen, Fengting Li, Chao Feng

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

AI总结 针对 LLM 智能体的安全威胁，提出自演化运行时防御框架 HARD，将防御开发从人工工程转为自主演化，在保留任务效用的同时提升了安全性能。

Why AI Governance Frameworks Are Hard to Adopt: A Role-Based Stress Test of the NIST AI RMF

为何AI治理框架难以被采用：对NIST AI RMF的基于角色的压力测试

Joseph R. Simons, David A. Broniatowski

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

AI总结 本文通过对NIST AI RMF的基于角色的压力测试，发现AI治理框架的核心问题在于活动能否产生治理价值，角色、部署类型对治理价值有显著影响，仅当治理价值与结构适配性同时满足时才易实现风险降低。

On the Structural Limits of Machine Learning Decision Systems: An Information-Theoretic, Interaction-Based, and Stochastic-Dynamical Perspective

机器学习决策系统的结构极限：基于信息论、交互与随机动力学的视角

Nestor R. Barraza, Gabriel Pena

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

AI总结 本研究从信息论等视角分析机器学习决策系统的结构极限，通过Fano型边界等方法推导分类与参数估计的性能极限，指出合适的数据模型是拓展预测能力的前提。

Journal ref JAIIO 2026

Hardware-Aware Deployment of Joint SAR Compression and Despeckling on FPGA

面向FPGA的联合SAR压缩与去噪的硬件感知部署

Cédric Léonard, Francescopaolo Sica, Martin Schulz

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

AI总结 本研究在ZCU102 FPGA平台部署联合SAR去噪与数据压缩框架，发现ReLU比GDN更适配SAR图像、残差块增益低且FPGA能效最高，为星载SAR压缩提供部署方案。

Comments Submitted to IEEE Transactions on Geoscience and Remote Sensing (TGRS). 11 pages, 8 figures, 4 tables

A Framework for Designing Reward Functions: From Objectives to Features to Human-Aligned Reward Functions

奖励函数设计框架：从目标到特征再到人类对齐的奖励函数

Di Yang Shi, W. Bradley Knox

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

AI总结 该研究提出一套三步式奖励函数设计框架，首次将奖励项选择简化为因果DAG上的最小成本部分覆盖问题，能保持无冲突可行权重区域，为非专家设计人类对齐的奖励函数提供了可行方案。

Comments Presented at RLC "Finding the Frame" and "AutoRL" workshops

Transferable Above-Ground Biomass (AGB) Estimation Model from Multi-Sensor Data with Sparse Field Calibration

结合稀疏地面校准的多传感器可迁移地上生物量（AGB）估算模型

Pann Thinzar Seint, Bryan Atwood, Subas Chhatkuli

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

AI总结 该研究提出结合稀疏地面校准的多传感器可迁移AGB估算框架，以全局训练CNN为核心，经GEDI数据训练后用少量样地校准，提升了AGB估算精度，优于现有产品。

Easper: An Accessible ASR Pipeline for Language Documentation

Easper：一款用于语言文档编制的易用ASR流水线

Aso Mahmudi, Ting Dang, Ekaterina Vylomova, Nick Thieberger

机构 * The University of Melbourne（墨尔本大学） 纠错

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

AI总结 研究针对语言文档编制的音频转录瓶颈，提出无需代码的开源ASR工作流Easper，通过评估转录优先级策略，发现优先词汇丰富叙述并增加声学语音重复可更快提升转录质量。

Comments Accepted in Interspeech 2026

Herding End-to-End Autonomous Driving via Neuro-Symbolic Safety Guards

通过神经符号安全护卫实现端到端自动驾驶的引导

Simón Patiño Idarraga, Erick Silva, Rehana Yasmin, Ali Shoker

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

AI总结 该研究针对端到端驾驶智能体违反交通规则的问题，提出无需重训的神经符号安全护卫，在Fail2Drive和Bench2Drive基准上使成功率提15%、安全碰撞降53%且保留原驾驶分数。

LLMs in Process Diagram Engineering: From Optimal PFDs to Validated P&IDs

流程图表工程中的大语言模型：从最优工艺流程图到经验证的管道及仪表流程图

Timur Zakarin, Sergei Voitov, Sergei Shumilin, Evgeny Burnaev

机构 * Skoltech（斯科尔科沃科技学院） ； AIRI（人工智能研究院（AIRI）） 纠错

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

AI总结 本研究提出P&ID Pilot端到端AI流水线，结合GA与LLM生成最优PFD，再通过基于LLM的智能体将其转换为100%执行成功的合规P&ID，实现工艺设计自动化并减少人工工作量。

CARB: A Characterization-Guided Framework for CNN Inference Cost Prediction and Deployment Screening

CARB：一种用于CNN推理成本预测与部署筛选的表征引导框架

Linh Nguyen, Zhixin Pan

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

AI总结 针对资源受限GPU平台上CNN部署前推理成本估计的不足，提出CARB级联混合集成模型与两阶段部署筛选工作流，实现高精度成本预测与高效候选筛选。

Every Token Counts: Exact Likert-Scale Distributions for Measuring LLM Attitudes and Biases

每个词元都重要：用于测量大语言模型态度与偏差的精确李克特量表分布

Davood Wadi, Mohsen Ghodrat, Matthew Philp

机构 * McGill University（麦吉尔大学） ； University Canada West（加拿大西部大学） ； Toronto Metropolitan University（多伦多都会大学） 纠错

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

AI总结 该研究提出结合人类心理测量学与LLMs机制的精确框架，通过因子实验、词元级PMFs及对应分析方法，分离LLMs的系统性原产国偏差。

Automatic Field-of-View Adjustment for a View-Expansive Microscope via LSTM-Based Gaze and Pipette Motion Interpretation

基于LSTM的注视与移液管运动解读的广视野显微镜自动视场调整

Kenta Yokoe, Takuya Hara, Tadayoshi Aoyama

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

AI总结 本研究针对ICSI操作中FOV调整耗时问题，提出基于LSTM的自动FOV调整系统，可缩短新手ICSI操作时间至与专家相当水平。

Comments This is the accepted version of an article published in IEEE Access 13, 182915-182923 (2025). DOI: 10.1109/ACCESS.2025.3624246. Open Access under CC BY 4.0

Journal ref IEEE Access, vol. 13, pp. 182915-182923, 2025

P3CA: Encoder-Agnostic Interpretation of Vision Foundation Model Embeddings via Spatial Probing

P3CA：通过空间探测实现与编码器无关的视觉基础模型嵌入解释

Amoon Jamzad, Dilakshan Srikanthan, Faranak Akbarifar, Nooshin Maghsoodi, Parvin Mousavi

机构 * School of Computing, Queen’s University（女王大学计算学院） 纠错

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

AI总结 针对视觉基础模型嵌入难以解释的问题，提出与编码器无关的P3CA方法，通过空间提示实现局部探测，在多类数据上验证其可揭示局部结构、提升病理判别能力等贡献。

Comments 10 pages, 5 figures, 1 table. Accepted at the iMIMIC Workshop, MICCAI 2026. This arXiv version is the pre-peer-review author manuscript

Causality Sum Rules in Conventional Scattering Matrices

常规散射矩阵中的因果求和规则

Ning Han, Rui Zhao, Shuxing Yang, Mingzhu Li, Hongsheng Chen, Yihao Yang

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

AI总结 该研究在常规散射矩阵中直接构建因果求和规则，关联因果理论与可测散射数据，其初始理论路径由AI系统Qiushi Engine探索，形成AI-人类混合科学发现流程。