Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Premise Selection on LeanDojo Benchmark 4 Lean 3 (novel_premises)
Loading...
9.8
R@1
ReProver
1.792
3.871
5.95
8.029
Jun 27, 2023
R@1
R@10
MRR
Updated 4d ago
Evaluation Results
Method
Method
Links
R@1
R@10
MRR
ReProver
split=novel_premises
2023.06
9.8
32.1
24
ReProver (Ours)
2023.06
9.1
27.6
24
ReProver (Ours)
Use in-file negatives=...
2023.06
7.9
25.7
22
ReProver (Ours)
Premise Set=All premises
2023.06
7.1
23.1
20
BM25
2023.06
5.9
15.5
14
BM25
Premise Set=All premises
2023.06
2.1
12.4
8
Feedback
Search any
task
Search any
task