Theorem Proving on LeanDojo Benchmark 4 Lean 3 (random)
48.6Pass@1ReProver
Evaluation Results
| Method | Links | |
|---|---|---|
| ReProverretrieval=enabled2023.06 | 48.6 | |
| W/o retrievalretrieval=disabled2023.06 | 44.5 |
Loading the SOTA2 catalog…
| Method | Links | |
|---|---|---|
| ReProverretrieval=enabled2023.06 | 48.6 | |
| W/o retrievalretrieval=disabled2023.06 | 44.5 |