Agents need reliable ways to validate their outputs, both when completing tasks and when filtering synthetic training data. We study verifier generation: from the instruction and environment available for solving a task, an agent writes an executable verifier that must accept every valid solution an
How a 71% Map Score in 12 Minutes Is Shaking Up Autonomous Exploration