A 35B verifier stops guessing verdicts: it writes its own counterexamples and lifts judging accuracy from 71% to 87%
A 35B agentic verifier that sees only the problem statement and a candidate program, never the official tests, uses self-generated counterexamples as executable evidence to raise binary verdict accuracy on USACO-Judge from 71.41% to 87.41%.