Theorem Proving on VERINA (advanced)
57Solved Tests (Correct)Numina Lean Agent
Evaluation results
| Method | Links | ||
|---|---|---|---|
| Numina Lean AgentBenchmark variant=P2026.05 | 57 | 3 | |
| AristotleBenchmark variant=PM2026.05 | 43 | 2 | |
| Claude Code + lean4-skillsBenchmark variant=P2026.05 | 40 | 2 | |
| Kimina-ProverBenchmark variant=P2026.05 | 3 | — | |
| GrindBenchmark variant=PU2026.05 | 2 | — | |
| LeanHammerBenchmark variant=PU2026.05 | 0 | — | |
| AesopBenchmark variant=PU2026.05 | 0 | — | |
| CanonicalBenchmark variant=PU2026.05 | 0 | — |