The grader said yes: auditing Terminal-Bench 2.0 with near-miss solutions
Nov 6, 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 =