Premise Selection on LeanDojo Benchmark (random)
13.5R@1ReProver (Ours)
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| ReProver (Ours)2023.06 | 13.5 | 38.4 | 0.31 | |
| ReProver (Ours)Premise Set=All premises2023.06 | 11.7 | 36.2 | 0.27 | |
| ReProver (Ours)Use in-file negatives=false2023.06 | 10.8 | 33.1 | 0.25 | |
| BM252023.06 | 6.7 | 17.2 | 0.15 | |
| BM25Premise Set=All premises2023.06 | 1.9 | 11.9 | 0.08 |