arXiv · Computers and Society· Serhii Zabolotnii·2026-10-01 12:00· 2 小时前精选AI 评分60

Trust Is Not a Score：高风险 AI 智能体的运行时保证契约

Trust Is Not a Score: Runtime Assurance Contracts for High-Risk AI Agents

AI 导读

论文提出 Runtime Assurance Contract（RAC），一种策略级形式化模式，绑定自主边界、组件资格、证据状态、转换策略、人工审核容量与非补偿门限。

推荐理由

提出运行时保证契约的形式化框架，为高风险 AI 智能体的权限切换提供可验证机制。