arXiv · Machine Learning Theory· Srini Ramaswamy, Deveeshree Nayak·· 4 hr agoAI score25
BRaVeS：为智能体 AI 自动化提供有界自主与可验证安全
Bounded Autonomy and Verifiable Safety for Agentic AI Enabled Automation
AI brief
论文提出 BRaVeS（Defensible Next-Gen Reasoning System，DNRS），通过将 SME 约束编码为不变锚点、MoDA-Style 深度感知访问与 SMARtAutonomy 状态层级，限制智能体 AI 在高风险环境中的自主度。
Source: arXiv · Machine Learning Theory · arxiv.org