1
Certified Speculative Execution for Untrusted AI Agents
提出认证推测执行框架，用形式化证明保障不可信AI智能体在运行时的安全性，兼顾效率与可证明保证
arXiv:2606.31023v1 Announce Type: cross Abstract: Hard-constrained sequential decision systems have no certified way to spend the test-time compute of…