AI Agent

Smart Traffic Signals: Comparing MARL and Fixed-Time Strategies

智能交通信号：比较MARL和固定时间策略

Saahil Mahato

机构 * Keele University（基尔大学） 纠错

专题命中 多智能体 ：agent(abstract)；autonomous agent(abstract)；multi-agent(abstract)；分类 cs.AI

AI总结 本研究通过比较MARL与固定时间策略，展示了MARL在优化交通信号协调方面的有效性，显著降低了等待时间和提高了通行效率。

MATCH: Engineering Transparent and Controllable Conversational XAI Systems through Composable Building Blocks

MATCH：通过可组合的构建块工程透明和可控的对话XAI系统

Sebe Vanbrabant, Gustavo Rovelo Ruiz, Davy Vanacken

机构 * Hasselt University - Flanders Make, Digital Future Lab（哈塞尔特大学-佛兰德斯制造，数字未来实验室） 纠错

专题命中 多智能体 ：agent(abstract)；multi-agent(abstract)；分类 cs.AI、cs.LG

AI总结 MATCH框架通过可组合的构建块实现对话XAI系统的透明和可控，促进解释性在交互系统中的整合。

Comments Submitted Version accepted for publication in an LNCS Volume "Engineering Interactive Computer Systems - EICS 2025 - International Workshops and Doctoral Consortium"

Collaborative Large Language Model Inference via Resource-Aware Parallel Speculative Decoding

通过资源感知的并行推测解码实现协作式大语言模型推理

Jungyeon Koh, Hyun Jong Yang

专题命中 多智能体 ：agent(abstract)；multi-agent(abstract)；分类 cs.LG

AI总结 本文提出一种统一框架，通过多智能体深度强化学习优化用户关联和资源分配，实现高效的并行推测解码，减少端到端延迟28%以上，提升移动边缘计算中大语言模型服务的性能。

Time-to-reach Bounds for Verification of Dynamical Systems Using the Koopman Spectrum

基于Koopman谱的动力系统可达性验证的时间到达界

Jianqiang Ding, Shankar A. Deka

专题命中 多智能体 ：agent(abstract)；multi-agent(abstract)

AI总结 本文提出基于Koopman谱的可达性验证方法，通过时间到达界估计实现非线性系统的可达性验证，适用于复杂和高维系统。

Comments This work has been submitted to the IEEE for possible publication

Impure Simplicial Complex and Term-Modal Logic with Assignment Operators

不纯单纯复形与带有赋值运算的术语模态逻辑

Yuanzhe Yang

专题命中 多智能体 ：agent(abstract)；multi-agent(abstract)

AI总结 本文提出一种带有赋值运算的术语模态逻辑，用于解决不纯单纯复形中死亡智能体表达式的问题，并通过双射概念证明两种语义等价，同时提供完整的公理化体系。

Comments In Proceedings TARK 2025, arXiv:2511.20540

Journal ref EPTCS 437, 2025, pp. 399-416

Modal Logic for Simulation, Refinement, and Mutual Ignorance

模态逻辑用于模拟、细化和相互无知

Hans van Ditmarsch, Tim French, Rustam Galimullin, Louwe B. Kuijer

专题命中 多智能体 ：agent(abstract)；multi-agent(abstract)

AI总结 本文提出了一种基于多模态逻辑的模态逻辑，用于模拟、细化和相互无知，通过模块化的方式构建了多种逻辑体系，探讨了细化与模拟之间的关系。

Comments In Proceedings TARK 2025, arXiv:2511.20540

Journal ref EPTCS 437, 2025, pp. 379-398

A K-means Inspired Solution Framework for Large-Scale Multi-Traveling Salesman Problems

一种受K均值启发的大型多旅行商问题解决方案框架

Xiubin Chen

机构 * School of Astronautics（航天学院） ； Harbin Institute of Technology（哈尔滨工业大学） 纠错

专题命中 多智能体 ：agent(abstract)；multi-agent(abstract)

AI总结 本文提出一种受K均值启发的框架，通过空间一致性快速估计路径成本并高效分组，解决大规模多旅行商问题中的计算复杂性问题。

Human-AI Programming Role Optimization: Developing a Personality-Driven Self-Determination Framework

人类-人工智能编程角色优化：开发一种以个性驱动的自我决定框架

Marcel Valovy

专题命中 多智能体 ：agent(abstract)；分类 cs.AI、cs.SE

AI总结 本研究提出基于人格特质的自我决定理论框架，通过设计科学方法优化人类与AI协作角色，提升团队动态和动机水平。

Comments PhD Dissertation, Prague University of Economics and Business, 2025. 323 pages. ACM CCS 2012: Human-computer interaction, Collaborative interaction, Human-AI collaborative systems, Pair programming, AI-assisted software engineering

An Efficient Privacy-preserving Intrusion Detection Scheme for UAV Swarm Networks

一种高效的隐私保护无人机蜂群网络入侵检测方案

Kanchon Gharami, Shafika Showkat Moni

机构 * Dept. of Electrical Engineering and Computer Science（电气工程与计算机科学系） ； Embry-Riddle Aeronautical University（埃姆布里-里德航空大学） 纠错

专题命中 多智能体 ：planning(abstract)；分类 cs.LG

AI总结 本文提出了一种高效的隐私保护无人机蜂群网络入侵检测方案，通过轻量级和联邦连续学习方法提升检测性能和隐私保护。

Comments This paper has been accepted for publication in the Proceedings of the 44th AIAA/IEEE Digital Avionics Systems Conference (DASC) 2025, where it received the Best Paper of Session Award

Technical knowledge and soft skills in software startups within the Colombian entrepreneurial ecosystem

技术知识与软技能在哥伦比亚创业生态系统中的软件初创企业中

Royer David Estrada-Esponda, Gerardo Matturro, Jose Reinaldo Sabogal-Pinilla

专题命中 多智能体 ：planning(abstract)；分类 cs.SE

AI总结 本文研究了哥伦比亚创业生态系统中软件初创企业创始团队对技术知识和软技能的需求，发现需求工程、软件测试等知识和沟通、领导力等软技能最为关键。

Comments 30 pages

A Safety and Security Framework for Real-World Agentic Systems

面向现实世界代理系统的安全与安全框架

Shaona Ghosh, Barnaby Simkin, Kyriacos Shiarlis, Soumili Nandi, Dan Zhao, Matthew Fiedler, Julia Bazinska, Nikki Pope, Roopa Prabhu, Daniel Rohrer, Michael Demoret, Bartley Richardson

机构 * NVIDIA ； Lakera AI 纠错

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

AI总结 本文提出了一种动态框架，通过用户安全视角识别新型代理风险，并通过红队行动和案例研究验证其在企业级代理系统中的安全性和安全性。

Solving Context Window Overflow in AI Agents

解决AI代理中的上下文窗口溢出

Anton Bulle Labate, Valesca Moura de Sousa, Sandro Rama Fiorini, Leonardo Guerreiro Azevedo, Raphael Melo Thiago, Viviane Torres da Silva

机构 * IBM Research（IBM研究院） 纠错

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

AI总结 本文提出了一种方法，使LLMs能够处理任意长度的工具响应，避免上下文窗口溢出问题，减少令牌使用并提升执行效率。

Optimized Agent Shift Scheduling Using Multi-Phase Allocation Approach

使用多阶段分配方法优化代理轮班调度

Sanalkumar K, Koushik Dey, Swati Meena

机构 * Sprinklr AI 纠错

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

AI总结 本文提出一种多阶段分配方法，通过分解问题为日和轮班分配子问题，优化代理轮班调度以提高效率和准确性。

Comments 5 pages, 3 figures

Machine Learning Potentials for Alloys: A Detailed Workflow to Predict Phase Diagrams and Benchmark Accuracy

合金中的机器学习势能：预测相图和评估准确性的详细工作流程

Siya Zhu, Doguhan Sariturk, Raymundo Arroyave

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

AI总结 本文提出了一种利用机器学习势能预测合金相图并评估其准确性的高效工作流程。

Journal ref npj Comput Mater. 11 (2025) 340

QuantumChem-200K: A Large-Scale Open Organic Molecular Dataset for Quantum-Chemistry Property Screening and Language Model Benchmarking

QuantumChem-200K：一个大规模开放有机分子数据集用于量子化学性质筛选和语言模型基准测试

Yinqi Zeng, Renjie Li

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

AI总结 QuantumChem-200K通过提供大规模有机分子数据集和微调语言模型，实现了光引发剂筛选和光敏感材料发现的高效预测。

Comments 9 pages, 5 figures, 3 tables

Data-driven informative priors for Bayesian inference with quasi-periodic data

数据驱动的 informative 前验分布用于具有准周期数据的贝叶斯推断

Javier Lopez-Santiago, Luca Martino, Joaquin Miguez, Gonzalo Vazquez-Vilar

机构 * Universidad Carlos III de Madrid, Department of Signal Theory and Communications（西班牙马德里卡洛斯三世大学信号理论与通信系） 纠错

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

AI总结 本文提出了一种数据驱动的方法，通过拟合高斯过程的周期核来构建先验分布，以提高具有准周期数据的贝叶斯推断效率。

Comments Accepted for publication in AJ. 19 pages (one column), 14 figures

Automated Statistical and Machine Learning Platform for Biological Research

生物研究中的自动化统计与机器学习平台

Luke Rimmo Lego, Samantha Gauthier, Denver Jn. Baptiste

机构 * Stevens Institute of Technology（史蒂文斯理工学院） 纠错

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

AI总结 本研究提出一个集经典统计方法与随机森林分类于一体的自动化平台，用于生物研究中的数据分析，提升工作效率并促进生物发现。

Comments 7 pages, 2 figures, 25 equations

Best Practices for Machine Learning Experimentation in Scientific Applications

科学应用中机器学习实验的最佳实践

Umberto Michelucci, Francesca Venturini

机构 * Computer Science Department, Lucerne University of Applied Sciences and Arts（卢塞恩应用科学与艺术大学计算机科学系） ； Institute of Applied Mathematics and Physics（应用数学与物理研究所） ； ZHAW - Zurich University of Applied Sciences（苏黎世应用科学大学） 纠错

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

AI总结 本文提出科学应用中机器学习实验的实践指南，强调可重复性、公平比较和透明报告，引入了过拟合度量标准以提高模型评估的可靠性。

deepFEPS: Deep Learning-Oriented Feature Extraction for Biological Sequences

deepFEPS：面向深度学习的生物序列特征提取

Hamid Ismail, Marwan Bikdash

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

AI总结 deepFEPS是一个统一的生物序列特征提取工具，整合多种先进特征提取方法，简化预处理流程，提升可重复性和应用效率。

Comments 16 pages, 6 figures, bioinformatics tool for genomics analysis

Engineering Trustworthy Automation: Design Principles and Evaluation for AutoML Tools for Novices

构建可信的自动化：面向初学者的AutoML工具的设计原则与评估

Jarne Thys, Davy Vanacken, Gustavo Rovelo Ruiz

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

AI总结 本文提出面向初学者的AutoML工具设计原则，通过用户研究改进系统易用性与信任度，强调首次模型成功、解释提供、抽象帮助和可预测性保障。

Comments Submitted version accepted for publication in an LNCS Volume "Engineering Interactive Computer Systems - EICS 2025 - International Workshops and Doctoral Consortium"

Investigating AI in Peer Support via Multi-Module System-Driven Embodied Conversational Agents

通过多模块系统驱动的具身对话代理探究AI在同伴支持中的应用

Ruoyu Wen, Xiaoli Wu, Kunal Gupta, Simon Hoermann, Mark Billinghurst, Alaeddin Nassani, Dwain Allan, Thammathip Piumsomboon

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

AI总结 本文通过多模块系统驱动的具身对话代理，探讨了AI在同伴支持中的应用，评估了基于CBT的LLM系统在心理健康支持中的有效性与用户感知。

From Static Pathways to Dynamic Mechanisms: A Committor-Based Data-Driven Approach to Chemical Reactions

从静态路径到动态机制：一种基于承诺的数据驱动方法用于化学反应

Radu A. Talmazan, Christophe Chipot

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

AI总结 本文提出了一种基于承诺的数据驱动方法，通过结合PCCANN和MACE，揭示了化学反应中动态机制的多样性，并实现了对复杂反应动态的准确描述。

Neural Network for Subgrid Turbulence Modeling for Large Eddy Simulations

用于大涡模拟的子网格湍流建模神经网络

Eduardo Vital, Jean-Marc Gratien, Yassine Ayoun, Thibault Faney, Julien Bohbot

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

AI总结 本文提出一种用于大涡模拟的神经网络方法，结合传统方程与数据驱动模型，通过高保真数据生成和后处理提升湍流建模精度。

The Iceberg Index: Measuring Skills-centered Exposure in the AI Economy

冰山指数：测量人工智能经济中的技能导向暴露

Ayush Chopra, Santanu Bhattacharya, DeAndrea Salvador, Ayan Paul, Teddy Wright, Aditi Garg, Feroz Ahmad, Alice C. Schwarze, Ramesh Raskar, Prasanna Balaprakash

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

AI总结 冰山指数通过大规模人口模型测量人工智能经济中技能导向的暴露，揭示AI能力在职业中的技术覆盖范围，为政策制定者提供识别和应对暴露热点的工具。

Comments iceberg.mit.edu

VIPCALs: A fully automated calibration pipeline for very long baseline interferometry data

VIPCALs: 一种全自动校准流程用于甚长基线干涉测量数据

Diego Álvarez-Ortega, Carolina Casadio, Felix M. Pötzl, Avinash Kumar, Michael Janssen

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

AI总结 VIPCALs是一种全自动化的VLBI数据校准流程，能够高效处理大量观测数据，显著降低VLBI科学的进入门槛。

Comments 14 pages, 7 figures, accepted for publication in Astronomy & Astrophysics. Code available at https://github.com/dalvarezo/VIPCALs

Journal ref A&A 703, A196 (2025)

D-LIO: 6DoF Direct LiDAR-Inertial Odometry based on Simultaneous Truncated Distance Field Mapping

D-LIO：基于同时截断距离场映射的6自由度直接激光雷达-惯性里程计

Lucia Coto-Elena, J. E. Maese, L. Merino, F. Caballero

机构 * Service Robotics Laboratory, Universidad Pablo de Olavide（服务机器人实验室，帕布罗·德·奥拉维德大学） 纠错

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

AI总结 D-LIO通过同时截断距离场映射实现6自由度直接激光雷达-惯性里程计，提升环境感知精度与实时性。

Comments 9 pages, 3 figures and 43 references

Journal ref IEEE Robotics and Automation Letters, vol. 11, no. 1, pp. 169-176, 2026

CDR-Agent: Intelligent Selection and Execution of Clinical Decision Rules Using Large Language Model Agents

CDR-Agent: 基于大语言模型代理的临床决策规则智能选择与执行

Zhen Xiang, Aliyah R. Hsu, Austin V. Zane, Aaron E. Kornblith, Margaret J. Lin-Martore, Jasmanpreet C. Kaur, Vasuda M. Dokiparthi, Bo Li, Bin Yu

机构 * University of Georgia（佐治亚大学） ； University of California, Berkeley（加州大学伯克利分校） ； University of California, San Francisco（加州大学旧金山分校） ； University of Chicago（芝加哥大学） 纠错

专题命中 软件智能体 ：agent(title,abstract)；分类 cs.LG

AI总结 CDR-Agent利用大语言模型代理，通过自主识别和应用最合适的临床决策规则，提升急诊部门的决策效率和准确性。

LLM-Empowered Event-Chain Driven Code Generation for ADAS in SDV systems

基于大语言模型的事件链驱动的ADAS代码生成方法

Nenad Petrovic, Norbert Kroth, Axel Torschmied, Yinglei Song, Fengjunjie Pan, Vahid Zolfaghari, Nils Purschke, Sven Kirchner, Chengdong Wu, Andre Schamschurko, Yi Zhang, Alois Knoll

机构 * Federal Ministry of Research, Technology and Space of Germany（德国联邦研究、技术和空间部） 纠错

专题命中 软件智能体 ：workflow(abstract)；分类 cs.AI、cs.SE

AI总结 本文提出基于事件链驱动和大语言模型的ADAS代码生成方法，通过RAG层提高代码生成的准确性和一致性，无需重新训练大语言模型。

FLIMs: Fault Localization Interference Mutants, Definition, Recognition and Mitigation

FLIMs: 故障定位干扰突变体，定义、识别与缓解

Hengyuan Liu, Zheng Li, Donghua Wang, Yankai Wu, Xiang Chen, Yong Liu

专题命中 软件智能体 ：workflow(abstract)；分类 cs.SE

AI总结 本文提出MBFL-FLIM框架，通过识别和缓解干扰突变体提升故障定位效果，实验证明其在多故障场景中表现优异。

Periodic Skill Discovery

周期性技能发现

Jonghae Park, Daesol Cho, Jusuk Lee, Dongseok Shim, Inkyu Jang, H. Jin Kim

专题命中 软件智能体 ：agent(abstract)；分类 cs.LG

AI总结 周期性技能发现（PSD）通过无监督学习发现具有不同周期的技能，提升复杂机器人任务中的表现和多样性。

Comments NeurIPS 2025