SpecGuard: Proving a Task Is Broken Before the Agent Cheats

arXiv:2610.09159 · cs.AI, cs.LO, cs.SE · Submitted 2026-10-06 · Read on arXiv

cs.AI, cs.LO, cs.SE

Submitted: 2026-10-06

Updated: 2026-10-06

Related papers