The grader said yes: auditing Terminal-Bench 2.0 with near-miss solutions
Nov 7, 2026 · Ishan Nerlekar
A proof that proves nothing
One Terminal-Bench 2.0 task asks the agent to finish a Coq proof that addition is commutative. I handed its grader a file that declares n + m =
