Lean Verifier: erdos548 v22
Five models on erdos548 in the v22 runs: full traces, final submissions and grading outcomes, including Gemini 4 Argon.
Five models on erdos548 in the v22 runs: full traces, final submissions and grading outcomes, including Gemini 4 Argon.