Biyani, P., & Dvijotham, K. (2026). SpecGuard: Proving a Task Is Broken Before the Agent Cheats. https://omanscience.com/en/articles/specguard-proving-a-task-is-broken-before-the-agent-cheats