AI Agent

Agentic Peer-to-Peer Networks: From Content Distribution to Capability and Action Sharing

代理点对点网络：从内容分发到能力和行动共享

Taotao Wang, Lizhao You, Jingwen Tong, Chonghe Zhao, Shengli Zhang

机构 * College of Electronics and Information Engineering, Shenzhen University（深圳大学电子与信息工程学院） ； School of Informatics, Xiamen University（厦门大学信息学院） ； School of Computer Science and Cyber Engineering, Guangzhou University（广州大学计算机科学与网络工程学院） 纠错

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

AI总结 本文提出了一种基于平面的参考架构，用于实现代理点对点网络，通过分层验证机制提高协作安全性与效率。

Comments 10 pages, 5 figures

A Rubric-Supervised Critic from Sparse Real-World Outcomes

从稀疏现实结果中学习的评分监督批评者

Xingyao Wang, Valerie Chen, Heng Ji, Graham Neubig

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

AI总结 本文提出了一种从稀疏现实结果中学习的评分监督批评者模型，用于提升编码代理的训练和推理性能。

Leveraging Taxonomy Similarity for Next Activity Prediction in Patient Treatment

利用分类相似性改进患者治疗中的下一步活动预测

Martin Kuhn, Joscha Grüger, Tobias Geyer, Ralph Bergmann

机构 * German Reseach Centre for Artificial Intelligence (DFKI), SDS Branch Trier（德国人工智能研究中心（DFKI），特里尔分部） ； University of Trier, Business Information Systems II（特里尔大学，商业信息系统二系） 纠错

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

AI总结 本文提出TS4NAP方法，利用医学分类和图匹配技术提升患者治疗下一步活动预测的准确性与可解释性。

GENAI WORKBENCH: AI-Assisted Analysis and Synthesis of Engineering Systems from Multimodal Engineering Data

GenAI Workbench: 人工智能辅助从多模态工程数据中分析和合成工程系统

H. Sinan Bank, Daniel R. Herber

机构 * Colorado State University（科罗拉多州立大学） 纠错

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

AI总结 GenAI Workbench通过整合AI技术，实现从多模态工程数据中辅助分析和合成工程系统，促进更集成和数据驱动的工程设计方法。

Comments 7 pages, 3 figures, accepted to be presented at IISE Annual Conference 2026

REDNET-ML: A Multi-Sensor Machine Learning Pipeline for Harmful Algal Bloom Risk Detection Along the Omani Coast

REDNET-ML: 一种多传感器机器学习流水线用于OMANI海岸有害藻华风险检测

Ameer Alhashemi

机构 * School of Computer Science, University of Birmingham（伯明翰大学计算机科学学院） 纠错

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

AI总结 REDNET-ML通过多传感器数据融合和CatBoost模型，实现OMANI海岸HAB风险的检测与评估。

Comments 11 pages

Formal that "Floats" High: Formal Verification of Floating Point Arithmetic

形式化地‘高’：浮点运算的形式验证

Hansa Mohanty, Vaisakh Naduvodi Viswambharan, Deepak Narayan Gadde

机构 * 1 Infineon Technologies Semiconductor India Private Limited, India 2 Infineon Technologies Dresden AG \& Co. KG, Germany 纠错

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

AI总结 本文提出了一种基于代理AI的形式化验证方法，通过直接RTL到RTL模型检查和黄金参考模型验证浮点运算，结合AI生成属性和人机协作细化，提升验证效率和覆盖范围。

Comments To appear at the 37th IEEE International Conference on Microelectronics (ICM), December 14-17, 2025, Cairo, Egypt

EasyRpl: A web-based tool for modelling and analysis of cross-organisational workflows

EasyRpl：一种用于跨组织工作流建模与分析的网页工具

Muhammad Rizwan Ali, Violet Ka I Pun, Guillermo Román-Díez

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

AI总结 EasyRpl是一种网页工具，用于帮助管理跨组织工作流，通过模拟器、峰值资源分析和时间分析工具优化效率并减少干扰。

Performance Optimization in Stream Processing Systems: Experiment-Driven Configuration Tuning for Kafka Streams

流处理系统性能优化：面向Kafka Streams的实验驱动配置调优

David Chen, Sören Henning, Kassiano Matteussi, Rick Rabiser

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

AI总结 本文提出了一种基于实验驱动的自动化配置优化方法，通过拉丁超立方采样、模拟退火和梯度爬升三种技术，提升Kafka Streams在云原生环境下的性能表现。

Comments Accepted for the 9th Workshop on Hot Topics in Cloud Computing Performance (HotCloudPerf 2026) at ACM/SPEC ICPE 2026

ORION: Intent-Aware Orchestration in Open RAN for SLA-Driven Network Management

ORION：面向开放RAN的意图感知编排

Gabriela da Silva Machado, Gustavo Z. Bruno, Alexandre Huff, Jose Marcos Camara Brito, Cristiano B. Both

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

AI总结 ORION通过整合大语言模型实现开放RAN的意图编排，提升网络管理的自动化与智能化水平。

A New System Function for Maximum Processable Flow in Process Plants and Application to Reliability Assessment

过程植物中最大可处理流的新系统功能及可靠性评估应用

Ji-Eun Byun, Se-Hyeok Lee

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

AI总结 本文提出一种新的系统性能函数，用于过程植物可靠性分析，通过整合线性规划解决流连续性和拓扑依赖性问题，并通过实例验证其在风险导向布局规划中的有效性。