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

AI 大模型

AI Agent

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

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

1. 多智能体 36 篇

2503.20507 2026-05-27 cs.AR cs.DC cs.LG 88%

Harmonia: Enhancing Data Placement and Migration in Hybrid Storage Systems via Multi-Agent Reinforcement Learning

Harmonia: 通过多智能体强化学习增强混合存储系统中的数据放置与迁移

Rakesh Nadig, Vamanan Arulchelvan, Rahul Bera, Taha Shahroodi, Gagandeep Singh, Andreas Kakolyris, Ismail Emir Yuksel, Mohammad Sadrosadati, Jisung Park, Onur Mutlu

机构 * ETH Zürich(苏黎世联邦理工学院) AMD Research(AMD研究)

专题命中 多智能体 :agent(title,abstract);multi-agent(title,abstract);分类 cs.LG

AI总结 针对混合存储系统中数据放置与迁移策略相互依赖导致性能次优的问题,提出基于多智能体强化学习的协同优化方法Harmonia,显著提升系统性能。

详情

展开后加载摘要…

URL PDF HTML 收藏
2502.14321 2026-05-27 cs.MA cs.CL 88%

Beyond Self-Talk: A Communication-Centric Survey of LLM-Based Multi-Agent Systems

超越自我对话:基于LLM的多智能体系统的通信中心综述

Bingyu Yan, Zhibo Zhou, Litian Zhang, Lian Zhang, Ziyi Zhou, Dezhuang Miao, Zhoujun Li, Chaozhuo Li, Xiaoming Zhang

机构 * School of Cyber Science and Technology, Beihang University, Beijing 100191, China(信息科学与技术学院,北京航空航天大学,北京100191,中国) The College of Cyber Security/College of Information Science and Technology, Jinan University, Guangzhou, China(网络安全学院/信息科学与技术学院,暨南大学,广州,中国) School of Computer Science and Engineering, Beihang University, Beijing 100083, China(计算机科学与工程学院,北京航空航天大学,北京100083,中国) School of Cyber Science and Technology, Beijing University of Posts and Telecommunications, Beijing 100876, China(信息科学与技术学院,北京邮电大学,北京100876,中国)

专题命中 多智能体 :agent(title,abstract);multi-agent(title,abstract);分类 cs.CL

AI总结 本文从通信视角综述基于大语言模型的多智能体系统,提出一个整合系统级和系统内部通信的结构化框架,分析智能体交互机制、挑战及未来方向。

Comments The article has been accepted by Frontiers of Computer Science (FCS), with the DOI: {10.1007/s11704-026-50857-y}

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.27328 2026-05-27 cs.SE cs.AI cs.MA 88%

Governed Evolution of Agent Runtimes through Executable Operational Cognition

通过可执行操作认知实现代理运行时的受控演化

Mariano Garralda-Barrio

机构 * Independent Researcher(独立研究者)

专题命中 多智能体 :agent(title,abstract);agentic(abstract);multi-agent(abstract);分类 cs.AI、cs.SE

AI总结 本文提出一个框架,通过可执行操作认知实现多智能体系统中代理生成工件的受控运行时演化,引入HarnessMutation机制在验证、可追溯、评估和回滚约束下进行生命周期感知的运行时适应。

Comments 14 pages, 4 figures, 1 table. Reference implementation and associated source code available at: https://github.com/mgarralda/governed-runtime

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26278 2026-05-27 cs.GT 88%

Coalition Free Energy and Adaptive Precision in Multi-Agent Cooperation

多智能体合作中的联盟自由能与自适应精度

Djamel Bouchaffra, Faycal Ykhlef, Mustapha Lebbah, Hanane Azzag

专题命中 多智能体 :agent(title,abstract);multi-agent(title,abstract)

AI总结 提出博弈论自由能原理(GT-FEP)变分框架,通过自适应精度控制(APC)算法动态调整观测精度,在瑞士环岛轨迹数据集和多智能体控制任务中实现与最优固定精度相当的性能。

Comments 21 pages, 8 figures, 2 Tables

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26203 2026-05-27 cs.MA cs.AI cs.CY cs.GT 85%

AgentSociety: Incentivizing Agentic Social Intelligence

AgentSociety: 激励代理社交智能

Aditya Vema Reddy Kesari, Krishna Reddy Kesari

机构 * IIT Bombay(印度理工学院班加罗尔) Amazon(亚马逊)

专题命中 多智能体 :agentic(title,abstract);agent(abstract);multi-agent(abstract);分类 cs.AI

AI总结 提出一种基于流动民主和信息扩散的激励机制AgentSociety,使去中心化代理能够自主协作、策略性沟通并最大化效用,同时通过共识路由实现集体成果。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.27349 2026-05-27 cs.SI 78%

Exploring Agent Interactions in MoltBook through Social Network Analysis

通过社交网络分析探索MoltBook中的智能体交互

I-Hsien Ting, Kazunori Minetaki, Dario Liberona, Mu-En Wu

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

AI总结 本研究提出一个多维分析框架,结合社交网络分析、情感分析和主题可视化,解码MoltBook平台中基于大语言模型的智能体之间的交互语义和情感,并聚焦于智能体原生通信的内在机制。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26451 2026-05-27 cs.HC cs.CV 75%

Design First, Code Later: Aesthetically Pleasing Template-Free Slides Generation

先设计,后编码:无模板的美观幻灯片生成

Zhiyao Cui, Chenxu Wang, Shuyue Hu, Yiqun Zhang, Wenqi Shao, Qiaosheng Zhang, Zhen Wang

机构 * School of Cybersecurity, Northwestern Polytechnical University(西北工业大学网络安全学院) Shanghai Artificial Intelligence Laboratory(上海人工智能实验室) Shanghai Innovation Institution(上海创新研究院) Fudan University(复旦大学)

专题命中 多智能体 :agent(abstract);workflow(abstract);multi-agent(abstract)

AI总结 提出DeepSlides层次化幻灯片生成流程,通过解耦设计与实现、引入SlideDesign数据集和多智能体强化学习训练范式,在无模板条件下生成高质量幻灯片。

详情

展开后加载摘要…

URL PDF HTML 收藏
2601.16578 2026-05-27 cs.RO cs.SY eess.SY 75%

Zero-Shot MARL Benchmark in the Cyber-Physical Mobility Lab

Cyber-Physical Mobility Lab中的零样本多智能体强化学习基准测试

Julius Beerwerth, Jianye Xu, Simon Schäfer, Fynn Belderink, Bassam Alrifaee

机构 * Cyber-Physical Mobility Lab(智能物理移动实验室) University of the Bundeswehr Munich(联邦国防军大学慕尼黑) RWTH Aachen University(亚琛工业大学)

专题命中 多智能体 :agent(abstract);planning(abstract);multi-agent(abstract)

AI总结 本文基于Cyber-Physical Mobility Lab构建了一个可复现的基准测试平台,用于评估联网自动驾驶汽车多智能体强化学习策略的仿真到现实迁移,并揭示了性能下降的两个互补来源。

详情

展开后加载摘要…

URL PDF HTML 收藏
2502.06963 2026-05-27 cs.LG cs.AI cs.DC cs.MA 74%

Intelligent Offloading in Vehicular Edge Computing: A Comprehensive Review of Deep Reinforcement Learning Approaches and Architectures

车辆边缘计算中的智能卸载:深度强化学习方法与架构综述

Ashab Uddin, Ahmed Hamdi Sakr, Ning Zhang

机构 * Department of Electrical and Computer Engineering, University of Windsor(滑铁卢大学电气与计算机工程系)

专题命中 多智能体 :agent(abstract,comments);multi-agent(abstract);分类 cs.AI、cs.LG

AI总结 本文综述了基于深度强化学习的车辆边缘计算卸载方法,分类比较了学习范式、系统架构和优化目标,并分析了马尔可夫决策过程的应用及未来研究方向。

Comments 33 Pages, 6 Figures, 7 Tables. Machine Learning, Reinforcement Learning, Multi Agent Reinforcement Learning, Computational Offloading and Edge Computing

详情

展开后加载摘要…

URL PDF HTML 收藏
2602.12833 2026-05-27 cs.LG cs.AI cs.MA 73%

Vital Trace: Protocol-Constrained Patient-State Reasoning for Longitudinal Clinical Trajectories

Vital Trace: 协议约束的患者状态推理用于纵向临床轨迹

Zhan Qu, Michael Färber

机构 * TU Dresden(德累斯顿理工大学)

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

AI总结 提出Vital Trace,一个协议约束的多智能体框架,通过紧凑的持久患者状态记忆和四个协调智能体(Router、Reasoner、Auditor、Steward)进行分阶段推理,以解决长期临床轨迹推理中的上下文漂移和不稳定问题,在MIMIC-IV和eICU数据集上预测未来血管加压药、呼吸、肾脏支持和恶化任务中优于自由形式多智能体基线。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.27082 2026-05-27 cs.AI 70%

Can Broad Biomedical Knowledge be Contextualized into Scenario-Grounded Propositions?

广泛的生物医学知识能否被情境化为基于场景的命题?

Qingyuan Zeng, Ziyang Chen, Pengxiang Cai, Zixin Guan, Anglin Liu, Lang Qin, Xinyao Lai, Jintai Chen

机构 * The Hong Kong University of Science and Technology (Guangzhou)(香港科技大学(广州)) Guangzhou University of Chinese Medicine(广州中医药大学)

专题命中 多智能体 :agent(abstract);multi-agent(abstract);分类 cs.AI

AI总结 提出SCENE双层多智能体框架,通过迭代搜索将广泛生物医学知识转化为证据支持的场景化命题,并在临床试验和LINCS L1000研究中验证其有效性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.27076 2026-05-27 cs.MA cs.LG 70%

Cost of Structural Learning Under Censored Feedback: A Threshold-Bandit Approach

审查反馈下结构学习的代价:一种阈值-老虎机方法

Michael Ledford, William Regli

机构 * University of Maryland, College Park(马里兰大学学院公园分校)

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

AI总结 针对任务仅当联盟达到未知规模阈值时才产生奖励的审查反馈问题,提出阈值激活合作多臂老虎机模型,并通过集中式算法C-TAC实现O(log T)累积遗憾,以及去中心化事件触发协议D-TAC在保持可行性对齐的同时减少23倍通信。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.27071 2026-05-27 cs.AI 70%

Traceable Knowledge Graph Reasoning Enables LLM-Assisted Decision Support for Industrial VOCs in the Steel Industry

可溯源知识图谱推理助力钢铁行业工业VOCs的LLM辅助决策支持

Changqing Su, Yu Ding, Zuhong Lin, Hongyu Liu, Xi He, Zheng Zeng, Liqing Li

机构 * Hunan Key Laboratory of Carbon Neutrality and Intelligent Energy, School of New Energy and Environment, Hunan University of Technology and Business(湖南碳中和与智能能源重点实验室,新能环境学院,湖南科技商务大学) Aerospace Kaitian Environmental Technology Co., Ltd.(航天凯天环境科技有限公司) School of Energy Science and Engineering, Central South University(能源科学与工程学院,中南大学)

专题命中 多智能体 :agent(abstract);multi-agent(abstract);分类 cs.AI

AI总结 针对钢铁行业VOCs治理知识分散、通用大模型易产生幻觉的问题,提出基于知识图谱增强的多智能体问答系统Chat-ISV,通过拓扑优化、多智能体路由和源回溯检索实现高可靠性决策支持。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26530 2026-05-27 cs.AI 70%

Which Changes Matter? Towards Trustworthy Legal AI via Relevance-Sensitive Evaluation and Solver-Grounded Reasoning

哪些变化重要?通过相关性敏感评估和求解器基础推理实现可信赖的法律AI

Chen Linze, Cai Yufan, Hou Zhe, Dong Jin Song

机构 * National University of Singapore(新加坡国立大学) Griffith University(格里菲斯大学)

专题命中 多智能体 :agent(abstract);multi-agent(abstract);分类 cs.AI

AI总结 提出法律相关性敏感评估问题,引入统一评估套件,并设计基于形式推理的对抗多智能体框架LexGuard,以提高法律AI对法律相关变化的校准敏感性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26286 2026-05-27 cs.MA cs.AI cs.RO 70%

Decoupled Delay Compensation: Enhancing Pre-trained MARL Policies via Learned Dynamics Filtering

解耦延迟补偿:通过学习的动力学过滤增强预训练的多智能体强化学习策略

Maxim Mednikov, Oren Gal

机构 * University of Haifa(海法大学)

专题命中 多智能体 :agent(abstract);multi-agent(abstract);分类 cs.AI

AI总结 针对多智能体强化学习在延迟观测和通信延迟下的性能退化问题,提出一种模块化的执行阶段状态估计层,利用学习的门控转移模型和递归卡尔曼滤波从异步测量中估计当前状态,作为预训练策略的即插即用模块,显著提升对通信延迟和丢包的鲁棒性。

Comments 8 pages, 7 figures

详情

展开后加载摘要…

URL PDF HTML 收藏
2602.04397 2026-05-27 cs.GT cs.LG 70%

Optimal Rates for Feasible Payoff Set Estimation in Games

博弈中可行收益集合估计的最优速率

Annalisa Barbara, Riccardo Poiani, Martino Bernasconi, Andrea Celli

机构 * Bocconi University, Milano, Italy(博科尼大学,米兰,意大利) ETH Zurich, Switzerland(苏黎世联邦理工学院,瑞士)

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

AI总结 针对双矩阵博弈中观察玩家动作但不知收益函数的情形,提出以Hausdorff度量下高概率估计可行收益集合的方法,并给出零和与一般和博弈中精确及近似均衡下首次极小极大最优速率。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26876 2026-05-27 cs.CR 67%

Secure UAV Swarms in Low-Altitude Wireless Networks: Challenges and Solutions

低空无线网络中的安全无人机群:挑战与解决方案

Yuntao Wang, Haojia Yang, Han Liu, Jianle Ba, Zhou Su

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

AI总结 针对无人机群在低空无线网络中面临的安全威胁,提出云边端协同防御框架,包含抗GPS欺骗、内部威胁缓解和多跳攻击溯源三种机制。

Comments 7 pages, 6 figures

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26739 2026-05-27 cs.LO 67%

From Actions to Obligations: A Deontic Action Model Logic

从行动到义务:道义行动模型逻辑

Giorgio Cignarale

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

AI总结 提出道义行动模型逻辑(DAML),通过整合道义评估机制扩展认知行动模型逻辑,用于推理多智能体系统中关于行动的义务,并证明其公理化系统的可靠性和完备性。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26785 2026-05-27 cs.CL cs.AI 62%

EmoDistill: Offline Emotion Skill Distillation for Language Model Agents in Adversarial Negotiation

EmoDistill: 对抗性谈判中语言模型代理的离线情感技能蒸馏

Yunbo Long, Haolang Zhao, Lukas Beckenbauer, Liming Xu, Alexandra Brintrup

机构 * University of Cambridge(剑桥大学) Technical University of Munich(慕尼黑技术大学) Exiger LLC The Alan Turing Institute(艾伦·图灵研究所)

专题命中 多智能体 :agent(abstract);分类 cs.AI、cs.CL

AI总结 提出EmoDistill离线框架,通过隐式Q学习选择情感和低秩适应策略表达情感,蒸馏情感谈判技能到语言模型代理,在四个高风险谈判领域取得最高效用。

详情

展开后加载摘要…

URL PDF HTML 收藏
2509.04310 2026-05-27 cs.AI 57%

EvoEmo: Towards Evolved Emotional Policies for Adversarial LLM Agents in Multi-Turn Price Negotiation

EvoEmo:面向多轮价格谈判中对抗性LLM智能体的进化情感策略

Yunbo Long, Liming Xu, Lukas Beckenbauer, Yuhan Liu, Alexandra Brintrup

机构 * Department of Engineering, University of Cambridge(剑桥大学工程系) Rotman School of Management, University of Toronto(多伦多大学罗特曼管理学院) TUM School of Management, Technical University of Munich(慕尼黑技术大学管理学院) The Alan Turing Institute, London, UK(伦敦阿尔安·图灵研究院)

专题命中 多智能体 :agentic(abstract);分类 cs.AI

AI总结 提出EvoEmo进化强化学习框架,通过将情感状态转移建模为马尔可夫决策过程并采用种群遗传优化,动态优化多轮谈判中的情感表达,显著提升LLM智能体的谈判成功率、效率和买家节省。

详情

展开后加载摘要…

URL PDF HTML 收藏
2503.14690 2026-05-27 cs.GT cs.LO 50%

Verifying Equilibria in Finite-Horizon Probabilistic Concurrent Game Systems

有限视界概率并发博弈系统中的均衡验证

Senthil Rajasekaran, Moshe Y. Vardi

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

AI总结 本文研究有限视界概率多智能体并发博弈系统中给定策略配置是否为纳什均衡或子博弈完美均衡的验证问题,发现子博弈完美均衡验证属于PSPACE,而纳什均衡验证为EXPTIME完全,这一反直觉结果表明子博弈完美均衡验证可能更简单。

Journal ref Logical Methods in Computer Science, Volume 22, Issue 2 (May 20, 2026) lmcs:15486

详情

展开后加载摘要…

URL PDF HTML 收藏
2509.10481 2026-05-27 cs.NI cs.RO cs.SY eess.SP eess.SY 50%

Synergetic Empowerment: Wireless Communications Meets Embodied Intelligence

协同赋能:无线通信遇见具身智能

Hongtao Liang, Yihe Diao, YuHang Wu, Fuhui Zhou, Qihui Wu

机构 * College of Electronic and Information Engineering, Nanjing University of Aeronautics and Astronautics(南京航空航天大学电子与信息工程学院) College of Artificial Intelligence, Nanjing University of Aeronautics and Astronautics(南京航空航天大学人工智能学院)

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

AI总结 本文提出无线通信与具身智能的协同赋能框架,通过感知-认知-执行循环揭示二者相互促进的双重性,将无线通信从简单工具转变为集体智能的数字神经系统,并推动孤立智能体进化为具备涌现能力的超个体。

Comments Accepted by IEEE Communications Magazine

详情

展开后加载摘要…

URL PDF HTML 收藏

2. 工作流自动化 30 篇

2605.17617 2026-05-27 cs.AI 89%

GraphMind: From Operational Traces to Self-Evolving Workflow Automation

GraphMind:从操作轨迹到自演化工作流自动化

Yiwen Zhu, Joyce Cahoon, Anna Pavlenko, Qiushi Bai, Nima Shahbazi, Divya Vermareddy, Meina Wang, Mathieu Demarne, Swati Bararia, Wenjing Wang, Hemkesh Vijaya Kumar, Hannah Lerner, Katherine Lin, Steve Toscano, Miso Cilimdzic, Subru Krishnan

机构 * Microsoft, USA University of Illinois Chicago, USA Microsoft, Spain

专题命中 工作流自动化 :workflow(title,abstract);agentic(abstract,abstract_cn);agent(abstract);multi-agent(abstract)

AI总结 提出GraphMind系统,通过离线提取因果工作流图、在线多智能体遍历执行和自适应遍历强化,实现云数据库事故调查中的自动化工作流,相比基线方法减少8倍检索上下文并降低26%幻觉率。

详情

展开后加载摘要…

URL PDF HTML 收藏
2511.02780 2026-05-27 cs.CR cs.AI cs.SE 84%

PoCo: Agentic Proof-of-Concept Exploit Generation for Smart Contracts

PoCo:智能合约的代理式概念验证漏洞利用生成

Vivi Andersson, Sofia Bobadilla, Harald Hobbelhagen, Martin Monperrus

机构 * KTH Royal Institute of Technology(皇家理工学院)

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

AI总结 提出PoCo框架,通过代理式Reason-Act-Observe循环自动从自然语言漏洞描述生成可执行的PoC漏洞利用,在23个真实报告上优于基线方法。

Comments Under review

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.27320 2026-05-27 cs.AI cs.CY econ.GN q-fin.EC 83%

Modeling Agentic Technical Debt and Stochastic Tax: A Standalone Framework for Measurement, Simulation, and Dashboarding

建模代理技术债务与随机税:一个用于测量、模拟和仪表盘展示的独立框架

Muhammad Zia Hydari, Raja Iqbal, Narayan Ramasubbu

机构 * School of Business, University of Pittsburgh(匹兹堡大学商学院)

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

AI总结 本文提出一个形式化且可管理的框架,区分代理技术债务(累积的设计与治理负债存量)与随机税(使用随机代理时产生的运营负担流),并通过应付账款模拟和电子表格说明其应用。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26200 2026-05-27 cs.SE cs.AI 81%

Workflow Closure Is Not Scientific Closure in Auto-Research Systems

工作流闭环并非自动研究系统中的科学闭环

Shuai Wang, Xinyuan Tian, Pangpang Liu, Yize Zhao

机构 * Yale University(耶鲁大学)

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

AI总结 本文指出自动研究系统的工作流闭环不等于科学闭环,并提出通过非自主认知控制下的自主执行、避免目标塌陷、验证塌陷和接受塌陷等设计改进方案。

Comments 26 pages, 1 figure, 2 tables

详情

展开后加载摘要…

URL PDF HTML 收藏
2602.00959 2026-05-27 cs.LG cs.CL 81%

Probing the Knowledge Boundary: An Interactive Agentic Framework for Deep Knowledge Extraction

探测知识边界:一种用于深度知识提取的交互式智能体框架

Yuheng Yang, Siqi Zhu, Tao Feng, Ge Liu, Jiaxuan You

机构 * University of Illinois at Urbana-Champaign(伊利诺伊大学厄巴纳-香槟分校) Westlake University(西交利物浦大学)

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

AI总结 提出一种交互式智能体框架,通过四种自适应探索策略和三级知识处理流水线,系统性地提取和量化大语言模型的知识,发现递归分类法最有效,并揭示了知识缩放定律、Pass@1与Pass@k的权衡以及训练数据对知识轮廓的影响。

Comments Homepage: https://ulab-uiuc.github.io/KnowledgeExtraction/

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.26825 2026-05-27 cs.SE 79%

On the GitHub Actions Language: Usage, Evolution, and Workflow Reliability

关于 GitHub Actions 语言:使用、演变和工作流可靠性

Aref Talebzadeh Bardsiri, Alexandre Decan, Tom Mens

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

AI总结 本文通过分析 49K 仓库中的 260K 工作流,实证研究了 GitHub Actions 语言结构的使用和演变如何影响工作流可靠性与可维护性,发现复杂工作流与高失败率和维护成本相关,并识别出与风险相关的特定特征。

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.01037 2026-05-27 cs.CR cs.AI cs.PL 79%

Certified Purity for Cognitive Workflow Executors: From Static Analysis to Cryptographic Attestation

认知工作流执行器的认证纯度:从静态分析到密码学证明

Alan L. McCann

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

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

AI总结 提出一种认证纯度架构,通过WebAssembly编译、密码签名证书和运行时验证门,将认知工作流系统中的治理执行从运行时约定转变为结构性能力边界,消除BEAM虚拟机上的对抗性绕过。

Comments 23 pages, 4 figures, 8 tables. Companion proofs: https://github.com/mashin-live/governance-proofs. Project: https://mashin.live. Updated license

详情

展开后加载摘要…

URL PDF HTML 收藏
2605.01030 2026-05-27 cs.AI cs.LO cs.PL 79%

Effect-Transparent Governance for AI Workflow Architectures: Semantic Preservation, Expressive Minimality, and Decidability Boundaries

AI工作流架构的效果透明治理:语义保持、表达最小性与可判定性边界

Alan L. McCann

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

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

AI总结 本文通过机器验证的形式化方法,证明在AI工作流架构中,效果级治理可以在不降低内部计算表达性的前提下实施,并建立了治理与计算表达性正交的理论基础。

Comments 15 pages. Companion proofs: https://github.com/mashin-live/governance-proofs. Project: https://mashin.live. v2: corrected cross-reference identifiers for companion papers. License updated

详情

展开后加载摘要…

URL PDF HTML 收藏