AI Agent

A Bandit Approach to Posterior Dialog Orchestration Under a Budget

Sohini Upadhyay, Mayank Agarwal, Djallel Bounneffouf, Yasaman Khazaeni

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

Comments 2nd Conversational AI Workshop, NeurIPS 2018

Sustaining the Montage Image Mosaic Engine Since 2002

G. Bruce Berriman, John C. Good

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

Comments 12 pages, 8 figures. Software and Cyberinfrastructure for Astronomy V (Conference 10707), SPIE SPIE Astronomical Telescopes + Instrumentation, Austin TX. June 10-15, 2018

An Integrated Pipeline Architecture for Modeling Urban Land Use, Travel Demand, and Traffic Assignment

Paul Waddell, Geoff Boeing, Max Gardner, Emily Porter

专题命中 工作流自动化 ：agent(abstract)；planning(abstract)

An anthropomorphic multimodality (CT/MRI) phantom prototype for end-to-end tests in radiation therapy

Raya R. Gallas, Nora Hünemohr, Armin Runz, Nina I. Niebuhr, Oliver Jäkel, Steffen Greilich

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

Comments 18 pages, 6 figures

Journal ref Zeitschrift fuer medizinische Physik, 2015, 25, 391-399

Revisiting the Gaia Hypothesis: Maximum Entropy, Kauffman's 'Fourth Law' and Physiosemeiosis

Carsten Herrmann-Pillath

专题命中 工作流自动化 ：agent(abstract)；autonomous agent(abstract)

The Naming Game in Social Networks: Community Formation and Consensus Engineering

Qiming Lu, G. Korniss, B. K. Szymanski

专题命中 工作流自动化 ：agent(abstract)；autonomous agent(abstract)

Comments The original publication is available at http://www.springerlink.com/content/70370l311m1u0ng3/

Journal ref Journal of Economic Interaction and Coordination 4, 221-235 (2009)

Primitive operations for the construction and reorganization of minimally persistent formations

Julien M. Hendrickx, Baris Fidan, Changbin Yu, Brian D. O. Anderson, Vincent D. Blondel

专题命中 工作流自动化 ：agent(abstract)；autonomous agent(abstract)

Comments 26 pages, 31 .eps files for the figures

Guidelines for the Annotation and Visualization of Legal Argumentation Structures in Chinese Judicial Decisions

中国司法判决中法律论证结构的标注与可视化指南

Kun Chen, Xianglei Liao, Kaixue Fei, Yi Xing, Xinrui Li

机构 * Law School, Nanjing University（南京大学法学院） 纠错

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

AI总结 提出一个系统化、可操作的标注框架，用于表示司法判决中的法律论证结构，支持大规模司法推理分析和法律论证挖掘。

Comments This Guideline has been developed through revision and refinement based on the first edition. The element label system has been adjusted, and the annotation granularity and annotation workflow have been further optimized

Deep Reinforcement Learning for Optimal Portfolio Allocation: A Comparative Study with Mean-Variance Optimization

深度强化学习在最优投资组合分配中的应用：与均值-方差优化的比较研究

Srijan Sood, Kassiani Papasotiriou, Marius Vaiciulis, Tucker Balch

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

AI总结 本文通过比较深度强化学习与均值-方差优化方法，探讨了在投资组合分配中的性能和效果。

Comments 9 pages, 6 figures. Published at the FinPlan'23 Workshop, the 33rd International Conference on Automated Planning and Scheduling (ICAPS 2023)

Numeric Reward Machines

Kristina Levina, Nikolaos Pappas, Athanasios Karapantelakis, Aneta Vulgarakis Feljan, Jendrik Seipp

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

Comments ICAPS 2024; Workshop on Bridging the Gap Between AI Planning and Reinforcement Learning

Artificial Intelligence Framework for Simulating Clinical Decision-Making: A Markov Decision Process Approach

Casey C. Bennett, Kris Hauser

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

Comments Keywords: Markov Decision Process; Dynamic Decision Network; Multi-Agent System; Clinical Artificial Intelligence; Medical Decision Making; Chronic Illness; (2013) Artificial Intelligence in Medicine

Journal ref Artificial Intelligence in Medicine. 57(1): 9-19. (2013)

Spending Scarce Confirmatory PET Measurements: Target-Aligned Validation in A4/LEARN

稀缺确诊性PET测量的分配：A4/LEARN中的目标对齐验证

Eliuvish Han Cui

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

AI总结 该研究针对阿尔茨海默病检查中稀缺的确诊性PET测量分配问题，提出按待验证主张的目标对齐验证方法，实验显示其在特定场景下可提升置信区间精度，优于通用不确定性采样与随机验证。

Comments 11 pages, 3 figures, 1 table; supplementary material and code/results are included as ancillary files

Automated Construction of FAIR Digital Object Knowledge Graphs from Flat Cultural Heritage Records

从平面文化遗产记录自动构建FAIR数字对象知识图谱

Zeyd Boukhers, Lingxiao Kong, Xenophon Zabulis, Georgios Toubekis

机构 * Fraunhofer Institute for Applied Information Technology FIT（弗劳恩霍夫应用信息技术研究所FIT） ； University Hospital of Cologne（科隆大学医院） ； University of Cologne（科隆大学） ； Foundation for Research and Technology（希腊研究与技术基金会） 纠错

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

AI总结 该研究提出了基于大语言模型的管道，将平面欧洲数据模型记录转换为符合FDO规范的知识图谱，实现了高比例元数据链接与跨语言实体合并，提升了文化遗产数据的可机器操作性。

Comments Accepted for publication as a short paper at CIKM 2026 (The 35th ACM International Conference on Information and Knowledge Management)

Making Deployments Safe at Meta: Health Checks for Continuous Change-Safety

在 Meta 保障部署安全：面向持续变更安全的健康检查

Prakash KL, Anton Korenkov, Uttam Thakore, Christopher Hegre

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

AI总结 Meta 介绍其用于平衡持续部署速度与可靠性的 Service Health Checker 健康检查基础设施，阐述其架构、集成方式、解决的运营问题及未来 AI 辅助调优方向。

Comments 6 pages, 4 figures, Accepted to ISSRE 2026 Industry Track

Journal ref IEEE ISSRE 2026 Industry Track

Adaptive Probabilistic Shielding by Learning MDPs for Safe Reinforcement Learning

通过学习马尔可夫决策过程（MDP）实现自适应概率屏蔽用于安全强化学习

Astrid Horn Brorholt, Maris F. L. Galesloot, Nils Jansen, Kim Guldstrand Larsen, Christian Schilling

机构 * Aalborg University（奥尔堡大学） ； Radboud University（拉德堡德大学） ； Ruhr University Bochum（波鸿鲁尔大学） 纠错

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

AI总结 本文针对已知MDP转移图但转移概率未知的场景，提出将概率屏蔽与在线模型学习结合的自适应方法，通过实验验证其在安全强化学习中的有效性。

Comments 19 pages, 3 figures, 3 tables. To be published in the proceedings of RV 2026

TokenPowerSandbox: Evidence-Gated CPU-First Screening for Energy-Aware LLM Serving

TokenPowerSandbox：面向能源感知大语言模型服务的证据门控CPU优先筛选

Chenxu Niu

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

AI总结 TokenPowerSandbox是面向能源感知LLM服务的证据门控CPU优先筛选工作流，结合CPU投影器、GPU探测等技术，在H100上评估Qwen2.5-7B-Instruct，验证了能源与延迟预测的关联及弃权门控的必要性。

BDIP-Net: Dual-Interaction Graph Learning for Property Prediction of Bilayer Materials

BDIP-Net：用于双层材料性能预测的双交互图学习方法

An Vuong, Chen Zhao, Jin Hu, Shui-Qing Yu, Xintao Wu

机构 * University of Arkansas（阿肯色大学） ； Baylor University（贝勒大学） 纠错

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

AI总结 本研究提出基于MatterSim-D3的结构优化工作流与BDIP-Net图神经网络，实现了双层材料的低成本高效构建与性能预测，且BDIP-Net性能优于现有相关方法。

The Energy Blind Spot: NVIDIA's Flagship Edge AI Hardware Cannot Support Process-Level Energy Attribution

能源盲点：NVIDIA 旗舰边缘 AI 硬件无法支持进程级能源归因

Deepak Panigrahy, Aakash Tyagi

机构 * Independent Researcher（独立研究者） ； Texas A&M University（德克萨斯农工大学） 纠错

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

AI总结 本文审计了 ASUS Ascent GX10 (GB10 SoC) 平台的能源可观测性，发现其缺乏 CPU 能源计数器等关键接口，导致无法像 x86 的 RAPL 那样进行进程级能源归因，并提出通过外部直流计量和 GPU 减法进行校准的临时方案，呼吁将能源可观测性作为硬件的一等要求。

Comments 5 pages, 0 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

RepBench: Compiling Benchmarks into Capability Representations for Large Language Models

RepBench：将基准编译为大语言模型的能力表征

Yanshi Li, Xueru Bai, Shuman Liu, Long Zhang

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

AI总结 RepBench构建多基准支撑的大语言模型能力表征探测数据层，揭示读出方式与聚合准则对评估的重要性，相关资源以闭环工作流形式发布。

Comments 22 pages, 8 figures, with appendices. Yanshi Li and Xueru Bai contributed equally

CAPRI: Contract-Aware Proof Repair for Isabelle

CAPRI：面向Isabelle的感知契约的证明修复

Jim Woodcock, Gabriel Leite, Augusto Sampaio, Ran Wei

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

AI总结 该研究提出CAPRI工具，用于解决Isabelle证明修复中LLM修改未授权内容的问题，通过契约检查机制保障安全，在12个失败证明的实验中验证了不同工作流的修复效果。

Comments 17 pages, 1 figure, 7 tables. Submitted to SBMF 2026. Reproducibility artefact available on Zenodo

ADEPT: A Unified Framework for Deep Learning Test Adequacy

ADEPT：深度学习测试充分性的统一框架

Yidi Kao, Shawn Burnham, Tommi Rose Fahy, Ali Ghanbari

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

AI总结 本文提出 ADEPT 框架，整合多种深度学习测试充分性指标，提供统一工作流与配置管理，解决指标难复现、难比较问题，方便研究人员和从业者使用。

Comments Proceedings of 35th ACM SIGSOFT International Symposium on Software Testing and Analysis (ISSTA 2026)

Exact and Asymptotically Complete Robust Verifications of Neural Networks via Ising Solvers

基于量子优化的神经网络精确且渐进完备的鲁棒验证

Wenxin Li, Wenchao Liu, Weihao Li, Chuan Wang, Qi Gao, Yin Ma, Hai Wei, Kai Wen

机构 * Beijing QBoson Quantum Technology Co., Ltd.（北京QBoson量子技术有限公司） ； School of Artificial Intelligence, Beijing Normal University（北京师范大学人工智能学院） 纠错

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

AI总结 本文提出两种基于量子优化的模型，用于精确且渐进完备地验证神经网络的鲁棒性，通过分段线性界限和量子Benders分解提高认证效率。

RAG-Based Auto-Configuration for Industrial Fieldbus Devices

基于检索增强生成（RAG）的工业现场总线设备自动配置

Aadil Gani Ganie, Saad Ezzini, Naveed Farooz Marazi

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

AI总结 针对工业现场总线设备手动配置的低效易错问题，提出SysName流水线，结合RAG、本地LLM与两级弃权门控，在多协议设备配置任务中实现高效高准确率的端到端自动化，经基准测试与案例验证效果优异。

SABRE: Scalable and Automated Benchmarking of VLMs under Stress

SABRE：压力场景下视觉语言模型（VLM）的可扩展自动化基准测试

Zixuan Lan, Luzhe Sun, Matthew R. Walter, Jiawei Zhou

机构 * University of Chicago（芝加哥大学） ； Toyota Technological Institute at Chicago（芝加哥丰田技术学院） ； Stony Brook University（石溪大学） 纠错

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

AI总结 SABRE是可扩展自动化VLM压力测试框架，可生成多维度测试样本，经实验验证其能有效评估VLMs对视觉证据与世界先验的依赖程度，支持多种压力测试场景。

Comments 22 pages, 10 figures. Code and resources will be available at https://zesearch.github.io/vlm-SABRE/

Improving the Realism of Synthetic Clinical Benchmarks Under Utility Constraints

在效用约束下提升合成临床基准的真实性

Omid Bazgir, Md Nasir, Jacob Hoffman, Yang Yang, Manu Agrawal, Anusua Trivedi, Vinay Rao Dandin, Chris Gibbons, Christine Swisher

机构 * Oracle Health and Life Sciences（甲骨文健康与生命科学部门） 纠错

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

AI总结 本文针对合成临床基准的结构不真实问题，提出在不破坏下游效用检查的前提下提升其真实性的方法，通过确定性修正改善基准指标，明确需将效用作为约束而非真实性的充分证据。

RepairFormer: Automated Repair of Structured Inputs Using Transformers

RepairFormer：基于Transformer的结构化输入自动修复框架

Ovi Paul, Tom J King, Ali Shokri

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

AI总结 RepairFormer是基于Transformer的结构化输入修复框架，通过格式标签、预言机验证等技术提升修复与内容恢复率，运行速度较现有最优方法快5倍，可高效修复JSON等结构化输入。

Comments 5 pages, 2 figures, and 3 tables

PRISM: Powerful Time Series to Image (TS2I) Representations for Multivariate Anomaly Detection

PRISM：用于多元异常检测的强大时间序列转图像（TS2I）表示

Mateusz Smendowski, Kamil Faber, Piotr Nawrocki, Nathalie Japkowicz, Roberto Corizzo

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

AI总结 PRISM是用于多元异常检测的即插即用元工作流，通过构建基于图像的时间序列表示，在14个数据集中的10个上取得最佳VUS-PR，冻结ImageNet预训练编码器可高效迁移至TSAD，性能损失小且训练更快。

Sparse Weight Decomposition for Efficient Circuit Extraction

用于高效电路提取的稀疏权重分解

Chuanhao Yan, Xuhan Huang, Yawen Duan, Zhenfei Yin, Hang Zhao, Bryan Dai, Jie Fu

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

AI总结 提出Sparse Weight Decomposition（SWD）方法，将预训练Transformer权重矩阵分解为稀疏因子以提供可解释电路单元，在低数据量下实现高保真电路提取，适用于多模型及全模型替换，还支持零数据变体以拓展机械可解释性分析应用。

Verifier-Guided Model Discovery for Physical Dynamical Systems with Pretrained Symbolic Transformers

基于预训练符号 Transformer 的物理动力系统验证器引导式模型发现

Farbod Faraji, Francesco Belardinelli

机构 * Imperial College London（伦敦帝国学院） 纠错

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

AI总结 该研究提出了一种验证器引导式（VG）工作流程，基于预训练符号 Transformer ODEFormer 实现物理动力系统的可解释预测，在范德波尔振荡器和涡旋脱落场景中展现出优于原方法的性能与泛化能力。

Comments 33 pages, 13 figures, 10 tables

Studying, Identifying, and Fixing Hidden Technical Debt in AI-Intensive Cyber-Physical Systems

研究、识别与修复人工智能密集型网络物理系统中的隐性技术债务

Beena

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

AI总结 本论文针对AI密集型网络物理系统（AI-CPS）的特殊技术债务，通过分析生态系统、代码仓库及开发者访谈刻画其特征，提出识别与缓解方法，并计划开发自动化工具以监控和偿还该类技术债务。

Comments Doctoral Symposium of the 41st IEEE/ACM International Conference on Automated Software Engineering (ASE 2026)