arXivDaily arXiv每日学术速递 周一至周五更新

AI 大模型

AI Agent

智能体、工具调用、规划、工作流、多智能体和自主任务执行。

2026-05-19 至 2026-05-19 共收录 402 信号源:cs.AI, cs.CL, cs.LG, cs.SE

1. 多智能体 59 篇

2603.03559 2026-05-19 eess.SP 50%

Probabilistic Occupancy Grid for Radio-Based SLAM

基于概率占用网格的无线电SLAM

Xuhong Li, Erik Leitinger, Fredrik Tufvesson, Florian Meyer

专题命中 多智能体 :agent(abstract)

AI总结 本文提出了一种基于概率占用网格的无线电SLAM框架,用于同时重建几何结构及其无线电相关属性,通过多路径SLAM公式实现移动体定位和环境映射。

Comments 8 pages, 4 figures

详情

展开后加载摘要…

URL PDF HTML 收藏

2. 工作流自动化 33 篇

2605.16604 2026-05-19 cs.LG 91%

R2V Agent: Teaching SLMs When to Ask for Help

R2V Agent:教SLMs何时请求帮助

Raghu Vamshi Hemadri, Humaira Firdowse Mohammed, Rishabh Maheshwary, Srivatsava Daruru, Sagar Davasam, Vikas Yadav, Srinivas Sunkara, Sai Rajeswar

机构 * New York University Tandon School of Engineering(纽约大学Tandon工程学院) University of California, San Diego(加州大学圣地亚哥分校) Stanford University(斯坦福大学) ServiceNow Research(ServiceNow研究) Mila - Quebec AI Institute(魁北克AI研究院) Université de Montréal(蒙特利尔大学)

专题命中 工作流自动化 :agent(title,title_cn);agentic(abstract);分类 cs.LG

AI总结 R2V-Agent通过风险校准的SLM-LLM路由框架提升交互代理的可靠性,结合小型语言模型策略、更强的教师LLM、轻量级过程验证器和校准的步骤路由器,在多个基准测试中显著提升性能与成本效率。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.16637 2026-05-19 cs.DC 90%

HexAGenT: Efficient Agentic LLM Serving via Workflow- and Heterogeneity-Aware Scheduling

HexAGenT: 通过工作流和异构性感知调度实现高效的代理LLM服务

You Peng, Youhe Jiang, Wenshuang Li, Xu Xu, Ke Zhou, Jiawei Jiang, Chen Wang, Binhang Yuan

专题命中 工作流自动化 :workflow(title,abstract);agentic(title,abstract);tool use(abstract);planning(abstract)

AI总结 本文提出HexAGenT,一种异构prefill-decode推理服务的工作流感知调度器,通过动态调整预填和解码位置及队列优先级,减少工作流完成SLO需求,提升效率。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.16552 2026-05-19 cs.AI cs.RO 89%

From Prompts to Protocols: An AI Agent for Laboratory Automation

从提示到协议:一种用于实验室自动化的AI代理

Angelos Angelopoulos, James F. Cahoon, Ron Alterovitz

机构 * Department of Computer Science, University of North Carolina at Chapel Hill(北卡罗来纳大学教堂山分校计算机科学系) Department of Chemistry, University of North Carolina at Chapel Hill(北卡罗来纳大学教堂山分校化学系)

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

AI总结 本文提出一种整合大语言模型与实验室编排的AI代理,使科学家能通过自然语言创建和监控自动化实验协议,提升实验效率与准确性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.16419 2026-05-19 cs.CV cs.AI cs.RO 83%

Agentic Pipeline for Self-Synchronized Multiview Joint Angle Monitoring in Uncalibrated Environments

基于代理的自同步多视角关节角度监控管道:在无标定环境中

Juncheng Yu, Lusi A, Haoxuan Xie, Weiming Wang

机构 * National Engineering Research Center of Neuromodulation, School of Aerospace Engineering, Tsinghua University(神经调制国家工程研究中心,航空航天工程学院,清华大学)

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

AI总结 本文提出了一种基于代理的自同步多视角关节角度监控方法,利用两台摄像头在无标定环境下实现自动视频同步和自验证,通过多模态大语言模型和先进单目2D姿态估计模型提取候选姿态,并通过代理选择机制自动识别和跟踪目标个体,以在多人和遮挡情况下产生一致的2D姿态,从而估计关节角度。

Comments Accepted by EMBC 2026. 7 pages, 3 figures

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.18332 2026-05-19 cs.SE cs.AI 79%

Same Signal, Different Semantics: A Cross-Framework Behavioral Analysis of Software Engineering Agents

同信号,不同语义:软件工程代理跨框架行为分析

Wei Ma, Zhi Chen, Jingxu Gu, Tianling Li, Shangqing Liu, Lingxiao Jiang

机构 * Singapore Management University(新加坡国立大学) Nanjing University(南京大学) Nanyang Technological University(南洋理工大学)

专题命中 工作流自动化 :agent(abstract,abstract_cn);workflow(abstract);分类 cs.AI、cs.SE

AI总结 本文通过大规模实验分析软件工程代理在不同框架下的行为表现,发现相同的行为信号在不同框架下可能具有相反的意义,强调了跨框架验证的重要性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.00505 2026-05-19 cs.IR cs.AI cs.CL 79%

LLM-Oriented Information Retrieval: A Denoising-First Perspective

面向大语言模型的信息检索:一种去噪优先的视角

Lu Dai, Liang Sun, Fanpu Cao, Ziyang Rao, Cehao Yang, Hao Liu, Hui Xiong

机构 * Hong Kong University of Science and Technology(香港科技大学) Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州))

专题命中 工作流自动化 :agent(abstract);workflow(abstract);agentic(abstract);分类 cs.AI、cs.CL

AI总结 本文提出了一种以去噪为核心的信息检索方法,强调在信息检索全流程中,最大化可利用证据密度和可验证性是关键瓶颈,通过四个阶段框架和信号-噪声优化技术分类,探讨了信息检索中的挑战和解决方案。

Comments SIGIR 2026

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.17812 2026-05-19 cs.AI 77%

Going Headless? On the Boundaries of Vertical AI Firms

going headless?关于垂直AI企业的边界

Muhammad Zia Hydari, Farooq Muzaffar

机构 * University of Pittsburgh(匹兹堡大学)

专题命中 工作流自动化 :agent(abstract);AI agent(abstract);workflow(abstract);分类 cs.AI

AI总结 本文探讨了垂直AI企业在会计、法律、医疗、采购等领域中,将工作流、领域逻辑和责任整合到单一应用中的传统模式,以及通用AI代理如何解构这种模式,促使企业采取"going headless"策略。文章指出,这种策略对某些企业有益,对另一些企业则可能造成破坏,并提出了基于任务-责任制度的三类分类体系及规则债务的概念。

详情

展开后加载摘要…

URL PDF HTML 收藏
2505.09203 2026-05-19 cond-mat.mtrl-sci cond-mat.supr-con cs.AI cs.LG 76%

InvDesFlow-AL: active learning-based workflow for inverse design of functional materials

InvDesFlow-AL: 基于主动学习的反向设计功能材料工作流程

Xiao-Qi Han, Peng-Jie Guo, Ze-Feng Gao, Hao Sun, Zhong-Yi Lu

机构 * School of Physics, Renmin University of China(中国人民大学物理学院) Gaoling School of Artificial Intelligence, Renmin University of China(中国人民大学人工智能学院) School of Engineering Science, University of Chinese Academy of Sciences(中国科学院大学工程科学学院)

专题命中 工作流自动化 :workflow(title);分类 cs.AI、cs.LG

AI总结 本研究提出了一种基于主动学习的反向设计功能材料框架InvDesFlow-AL,通过迭代优化材料生成过程,提高性能特征的准确性,并在低形成能和低Ehull材料设计中取得显著成果,成功发现超导材料Li₂AuH₆。

Comments 29 pages, 11 figures

Journal ref npj Computational Materials 11, 364 (2025)

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.11518 2026-05-19 cs.AI cs.CL cs.LG 75%

AutoLLMResearch: Training Research Agents for Automating LLM Experiment Configuration - Learning from Cheap, Optimizing Expensive

AutoLLMResearch: 训练研究代理以自动化LLM实验配置 - 从低成本学习,优化高成本

Taicheng Guo, Nitesh V. Chawla, Olaf Wiest, Xiangliang Zhang

机构 * University of Notre Dame(诺丁汉大学)

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

AI总结 本文提出AutoLLMResearch框架,通过多保真度实验环境学习LLM配置原则,解决高成本实验自动化问题,展示其在大规模LLM实验中的有效性与通用性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.18395 2026-05-19 cs.CY cs.AI 74%

Diagnosing Korean-Language LLM Political Bias via Census-Grounded Agent Simulation

通过人口普查基础代理模拟诊断韩语LLM的政治偏见

Sungwoo Kang

机构 * Department of Electrical and Computer Engineering(电气与计算机工程系) Korea University(韩国大学)

专题命中 工作流自动化 :agent(title);分类 cs.AI

AI总结 本文通过人口普查基础代理模拟框架Dynamo-K,研究韩语LLM在六个韩国选举中的政治行为,识别出三种系统性失败模式,并提出解决方案以校准模型,从而提高政治行为诊断的准确性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.16297 2026-05-19 cs.CY cs.AI cs.HC cs.SE 73%

Task-Level AI Readiness Assessment for Business Process Management:The T-IPO Model and LARA Matrix in Financial-Services IT Operations

面向业务流程管理的任务级AI准备性评估:T-IPO模型与LARA矩阵在金融服务IT运营中的应用

Mingjun Li, Xiaojun Ye

机构 * Tsinghua University(清华大学)

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

AI总结 本文提出T-IPO模型和LARA矩阵,用于评估任务级AI代理的适用性,通过认知执行复杂度和治理合规强度的两因素结构提升预测效用。

Comments 19 pages, 7 figures, 8 tables, 50 references. A shortened workshop version has been submitted to the BPM 2026 Workshop. This preprint is the complete version

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.16885 2026-05-19 stat.AP stat.ME 71%

A Workflow for Evaluating Regional Treatment Effect Heterogeneity in Multi-Regional Clinical Trials

多地区临床试验中区域治疗效应异质性评估的工作流程

Cong Zhang, Meihua Long, Tianyu Zheng, Konstantinos Sechidis, Xiaoni Liu, Sophie Sun, Yao Chen, Xinyi Zhang, Shuhei Kaneko, Björn Bornkamp, Yan Hou

专题命中 工作流自动化 :workflow(title)

AI总结 本文提出了一种结构化、问题导向的框架,用于指导多地区临床试验中区域异质性的探索性评估,通过四个关键问题明确分析目标,并提出相应的统计方法来解决这些问题。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.16407 2026-05-19 cs.LO cs.CL cs.CR cs.PL 70%

Proof-Carrying Certificates for LLM Pipelines: A Trust-Boundary Architecture

为LLM流水线提供证明携带证书:一种信任边界架构

George Koomullil

机构 * Ascendr, Inc.(Ascendr公司)

专题命中 工作流自动化 :agent(abstract);agentic(abstract);分类 cs.CL

AI总结 本文提出一种验证大型语言模型周围确定性结构计算的框架,扩展了Lean 4信任边界架构至现代LLM流水线的通用接口。核心贡献包括三个证书家族和两个操作符,用于高风险部署中的专利检索、金融监管等场景。

Comments 83 pages, 1 figure, 12 tables

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.18562 2026-05-19 stat.ME cs.AI cs.LG stat.AP 62%

Estimating Item Difficulty with Large Language Models as Experts

利用大语言模型作为专家估算项目难度

Diana Kolesnikova, Kirill Fedyanin, Abe D. Hofman, Matthieu J. S. Brinkhuis, Maria Bolsinova

机构 * Department of Methodology and Statistics, Tilburg University(蒂尔堡大学方法学与统计学系) Smart Business Technologies(智能商务技术公司) Department of Psychological Methods, University of Amsterdam(阿姆斯特丹大学心理方法系) Prowise Learn, Amsterdam(Prowise Learn公司,阿姆斯特丹) Department of Information and Computing Sciences, Utrecht University(乌得勒支大学信息与计算科学系)

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

AI总结 本文研究了如何利用大语言模型估算新任务的难度,通过对比不同配置下的模型表现,发现基于对偶比较的配置在无额外优化时表现更优,而结合token概率和已知难度示例的绝对判断配置也表现出中等至高水平的对齐度。

Comments 24 pages, 2 figures, 9 tables

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.17503 2026-05-19 cs.AI cs.CL cs.HC 62%

RAG-based EEG-to-Text Translation Using Deep Learning and LLMs

基于深度学习和大语言模型的RAG EEG到文本翻译

Enrico Collautti, Xiaopeng Mao, Luca Tonin, Stefano Tortora, Sadasivan Puthusserypady

机构 * IAS-LAB, Department of Information Engineering, University of Padova(帕多瓦大学信息工程系IAS实验室) Padova Neuroscience Center(帕多瓦神经科学中心) Department of Health Technology, Technical University of Denmark(丹麦技术大学健康技术系)

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

AI总结 本文提出了一种基于检索增强生成(RAG)的EEG到文本解码方法,结合EEG编码器、向量检索阶段和大语言模型,以提高句子级解码的准确性,并在ZuCo数据集上验证了其有效性。

Comments 6 pages, 2 figures. Submitted to the 2026 IEEE International Conference on Systems, Man, and Cybernetics

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.17416 2026-05-19 cs.SE cs.AI 62%

Benchmarking Mythos-Linked Bug Rediscovery

基于Mythos链接的Bug重发现基准测试

Isaac David, Arthur Gervais

机构 * University College London(伦敦大学学院)

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

AI总结 本文基于Mythos链接的公开系统任务,对六个目标文件进行受控重发现实验,评估不同模型在无CVE标识等信息情况下发现核心bug的能力,结果显示仅6个目标匹配。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.17095 2026-05-19 cs.CV cs.AI cs.LG 62%

Visual Timelines of Police Encounters in Body-Worn Camera Footage: Operational Context and Activity Cataloging for Training and Analysis in OpenBWC

警察执法视频中的视觉时间线:用于训练和分析的开放BWC操作上下文和活动编目

Angela Srbinovska, Christopher Homan, Adrian Martin, Ernest Fokoué

机构 * Rochester Institute of Technology(罗切斯特理工大学) Rochester Police Department(罗切斯特警察局) Office of Business Intelligence(业务智能办公室) School of Mathematics and Statistics(数学与统计学学院)

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

AI总结 本文提出了一种处理体感摄像头视频的方法,生成时间对齐的固定长度10秒窗口序列,用于训练和分析,通过隐私保护协议进行处理和标记,以提高事件审查和培训流程的效率。

Comments 13 pages, 10 figures, 9 tables

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.18673 2026-05-19 cs.CY cs.CL 57%

Generative AI Advertising as a Problem of Trustworthy Commercial Intervention

生成式AI广告作为可信商业干预问题

Jingyi Qiu, Qiaozhu Mei

机构 * University of Michigan(密歇根大学)

专题命中 工作流自动化 :agentic(abstract);分类 cs.CL

AI总结 本文探讨生成式AI广告如何通过影响生成过程而非内容放置来改变广告方式,提出基于影响层级的分类体系,并指出当前系统在更深层次商业影响上的可信度问题。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.17765 2026-05-19 cs.LG 57%

AURORA: Contextual Orthogonalization for Geometric Representation Learning in Healthcare Foundation Models

AURORA:用于医疗基础模型中几何表示学习的上下文正交化

Yuanyun Zhang, Shi Li

机构 * University of the Chinese Academy of Sciences(中国科学院大学) Columbia University(哥伦比亚大学)

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

AI总结 本文提出AURORA框架,通过上下文潜在几何进行正交化,以解决医疗基础模型中潜在表示的语义模糊和上下文变化不稳定性问题,提升了模型在不同机构分布变化下的鲁棒性和预测性能。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.16605 2026-05-19 cs.HC cs.AI 57%

PromptDecipher: Supporting AI Tutor Authoring Through Editable Simulated Interactions

PromptDecipher:通过可编辑的模拟交互支持AI辅导作者

Miina Koyama, Ruiwei Xiao, John Stamper

机构 * Carnegie Mellon University(卡内基梅隆大学)

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

AI总结 PromptDecipher通过直接纠正交互重构作者流程,帮助教师成为学习设计师和QA工程师,提升AI辅导作者的质量与效率。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.16387 2026-05-19 cs.CV cs.AI 57%

Stabilizing Temporal Inference Dynamics for Online Surgical Phase Recognition

稳定在线手术阶段识别的时序推断动态

Yang Liu, Ning Zhu, Jingjing Peng, Xiwu Chen, Alejandro Granados, Guotai Wang, Sebastien Ourselin

机构 * King's College London, London, UK(伦敦国王学院) University of Electronic Science and Technology of China(电子科技大学)

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

AI总结 本文提出统一框架稳定时序推断动态,通过TEC损失抑制误差传播,EGTP强制证据驱动状态转移,TFI衡量时间碎片化,提升稳定性并减少预测碎片化。

Comments Early accepted by MICCAI 2026

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.18578 2026-05-19 cond-mat.soft 50%

A geometry-first tutorial for time-resolved morphological analysis with PyPETANA

一种基于几何的时间分辨形态分析PyPETANA教程

Benjamin Evert Himberg, Sanghita Sengupta

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

AI总结 本文提供了一个逐步指导的教程,展示如何使用PyPETANA框架进行时间分辨的形态分析,重点介绍如何从图像数据中提取二值掩码,计算面积、周长、圆度和有效分形维度等几何特征,并分析其时间演变。

Comments 29 pages, 8 figures, 4 algorithm

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.18037 2026-05-19 cond-mat.mtrl-sci 50%

Combinatorial Survey of Structural Phase Distribution and Magnetism in Fe-Ge-Te Composition-spread Thin Film Libraries

Fe-Ge-Te组分范围薄膜库中结构相分布和磁性的组合学调查

Chih-Yu Lee, Takahiro Yamazaki, Peng Yan, Ryan Kim, Masato Kotsugi, Efrain E. Rodriguez, Joseph W. Bennett, Ichiro Takeuchi

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

AI总结 本研究通过组合合成和高通量表征,探讨了Fe-Ge-Te薄膜库的结构相分布和铁磁性,利用机器学习方法分析XRD数据,并通过SQUID磁力计和X射线磁圆二色性测量研究铁磁性质,最终揭示了六方晶结构对铁磁性的重要性。

Comments 18 pages, 5 figures

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.17944 2026-05-19 quant-ph cs.DC 50%

A System Aware Resource Allocation for Distributed Workflows in Quantum Computing Environments

面向量子计算环境的分布式工作流的系统感知资源分配

Abhishek Sawaika, Udaya Parampalli, Rajkumar Buyya

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

AI总结 本文提出了一种综合解决方案,用于高效地将量子程序分配到适当的量子设备,考虑了包括保真度、执行时间和通信开销在内的所有相关成本指标,并提出了改进的图基算法来解决此类用例的分配问题,假设混合经典-量子网络。

Comments 11 pages, under review

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.17387 2026-05-19 cs.CE cs.MS 50%

Spatial Optimization of Interconnected Systems in Non-Convex Design Spaces

非凸设计空间中互联系统的空间优化

S. Westerhof, T. Hofman

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

AI总结 本文提出了一种空间优化方法,扩展了考虑物理相互作用的互联系统空间包装(SPI2)框架,以支持任意非凸设计边界。通过引入基于最大不相交球分解(MDBD)方法的平滑可微内部-外部评估,该框架直接在优化中整合质心和惯性矩计算,并提供了一个端到端的计算机辅助设计(CAD)工作流,用于导入组件和重建优化装配。在虚构的飞机辅助单元上进行了演示,结果表明该优化器能够在定制几何内放置多个互联组件,同时处理路由和基于物理的目标。该方法在数值容差内保持几何可行性,并展示了基于MDBD的SPI2方法在实际工程设计中的潜力。

Comments n/a

详情

展开后加载摘要…

URL PDF HTML 收藏
2604.20155 2026-05-19 cs.CV 50%

GSCompleter: A Distillation-Free Plugin for Metric-Aware 3D Gaussian Splatting Completion in Seconds

GSCompleter: 一种无需蒸馏的插件,用于在几秒钟内进行基于度量的3D高斯溅射完成

Ao Gao, Jingyu Gong, Xin Tan, Zhizhong Zhang, Lizhuang Ma, Yuan Xie

机构 * School of Computer Science and Technology, East China Normal University(东华大学计算机科学与技术学院) Shanghai Innovation Institute(上海创新研究院) Chongqing Key Laboratory of Precision Optics, Chongqing Institute of East China Normal University(重庆精密光学重点实验室,东华大学重庆研究院) Shanghai Key Laboratory of Computer Software Evaluating and Testing(上海计算机软件评测测试重点实验室) Department of Computer Science and Engineering, Shanghai Jiao Tong University(上海交通大学计算机科学与工程学院)

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

AI总结 本文提出了一种无需蒸馏的GSCompleter插件,通过稳定的'生成-注册'流程实现基于度量的3D高斯溅射完成,提高了完成质量和效率,并在三个基准上取得了新的最先进的结果。

详情

展开后加载摘要…

URL PDF HTML 收藏
2511.05233 2026-05-19 physics.comp-ph 50%

Structure Matters: A Scale-Resolved Numerical Operando Approach for Lithium-Sulfur Batteries

结构至关重要:一种用于锂硫电池的尺度解析数值原位方法

Max Okraschevski, Torben Prill, Paul Maidl, Arnulf Latz, Timo Danner

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

AI总结 本文提出了一种尺度解析的数值原位方法,用于研究锂硫电池中多孔阴极结构对放电速率性能的影响,通过高性能计算提供实验难以获得的电化学行为结构洞察,以改进电池性能。

Comments Accepted version of the manuscript

Journal ref Journal of Energy Storage, Volume 168, 1 August 2026, 122529

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.17075 2026-05-19 cs.CR 50%

A Red Teaming Framework for Evaluating Robustness of AI-enabled Security Orchestration, Automation, and Response Systems

一种用于评估AI增强的安全编排、自动化和响应系统鲁棒性的红队框架

Ayan Javeed Shaikh, Nathaniel D. Bastian, Ankit Shah

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

AI总结 本文提出了一种结合大语言模型和强化学习的自主红队框架,用于评估企业网络中自主防御系统的鲁棒性,展示了单一LLM代理在多阶段攻击中的不足以及领域特定安全模型的局限性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.16959 2026-05-19 eess.SY cs.FL cs.SY 50%

Over-approximation of weakly-hard constraints for control systems verification (Extended)

对控制系统验证中的弱硬约束进行过度逼近(扩展)

Rieke de Maeyer, Holger Hermanns, Martina Maggio

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

AI总结 本文提出了一种对弱硬约束语言的过度逼近方法,以解决传统有限状态机在验证控制系统属性时的效率问题,通过压缩语言接受器实现更高效的验证。

Comments Extended version of the paper "Over-approximation of weakly-hard constraints for control systems verification", accepted for publication at CAV 2026

详情

展开后加载摘要…

URL PDF HTML 收藏