2 papers
cs.CR2026
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…
cs.AI2026
The Verifier is the Curriculum: Execution-Gated Self-Distillation for Cross-Family Game Generation
Chenyu Zhou, Qiliang Jiang, Shuning Wu +1
Post-training a code generator against a learned judge can optimize proxy features that raise the score without improving the artifact. We study the opposite signal: a deterministi…