Premise Selection on LeanDojo Benchmark (random)
13.5R@1
ReProver (Ours)
Updated 4d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2023.06 | 13.5 | 38.4 | 0.31 | |
2023.06 | 11.7 | 36.2 | 0.27 | |
2023.06 | 10.8 | 33.1 | 0.25 | |
2023.06 | 6.7 | 17.2 | 0.15 | |
2023.06 | 1.9 | 11.9 | 0.08 |
ReProver (Ours)
| Method | Links | |||
|---|---|---|---|---|
2023.06 | 13.5 | 38.4 | 0.31 | |
2023.06 | 11.7 | 36.2 | 0.27 | |
2023.06 | 10.8 | 33.1 | 0.25 | |
2023.06 | 6.7 | 17.2 | 0.15 | |
2023.06 | 1.9 | 11.9 | 0.08 |