arXiv · Computers and Society· Serhii Zabolotnii·· 7 hr agoSelectedAI score60
Trust Is Not a Score：高风险 AI 智能体的运行时保证契约
Trust Is Not a Score: Runtime Assurance Contracts for High-Risk AI Agents
AI brief
论文提出 Runtime Assurance Contract（RAC），一种策略级形式化模式，绑定自主边界、组件资格、证据状态、转换策略、人工审核容量与非补偿门限。
Why it matters
提出运行时保证契约的形式化框架，为高风险 AI 智能体的权限切换提供可验证机制。
Source: arXiv · Computers and Society · arxiv.org