Formal Theorem Proving on LeanDojo (test)
58.25Pass RateProofSketcher
Evaluation Results
| Method | Links | |
|---|---|---|
| ProofSketcher2026.04 | 58.25 | |
| ReProver (LeanDojo)2026.04 | 51.2 |
Loading the SOTA2 catalog…
| Method | Links | |
|---|---|---|
| ProofSketcher2026.04 | 58.25 | |
| ReProver (LeanDojo)2026.04 | 51.2 |