Premise Selection on LeanDojo Benchmark 4 Lean 3 (novel_premises)
9.8R@1
ReProver
Updated 4d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2023.06 | 9.8 | 32.1 | 24 | |
2023.06 | 9.1 | 27.6 | 24 | |
2023.06 | 7.9 | 25.7 | 22 | |
2023.06 | 7.1 | 23.1 | 20 | |
2023.06 | 5.9 | 15.5 | 14 | |
2023.06 | 2.1 | 12.4 | 8 |
ReProver
| Method | Links | |||
|---|---|---|---|---|
2023.06 | 9.8 | 32.1 | 24 | |
2023.06 | 9.1 | 27.6 | 24 | |
2023.06 | 7.9 | 25.7 | 22 | |
2023.06 | 7.1 | 23.1 | 20 | |
2023.06 | 5.9 | 15.5 | 14 | |
2023.06 | 2.1 | 12.4 | 8 |