Certified Speculative Execution for Untrusted AI Agents

Chenyu Zhou, Qiliang Jiang, Shuning Wu +1

Hard-constrained sequential decision systems have no certified way to spend the test-time compute of modern AI: executing the multi-step drafts of a learned policy or a frozen LLM…