Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Premise Selection on LeanDojo Benchmark 4 Lean 3 (random)
Loading...
12.8
R@1
ReProver
12.16
12.48
12.8
13.12
Jun 27, 2023
R@1
R@10
MRR
Updated 1mo ago
Evaluation Results
Method
Method
Links
R@1
R@10
MRR
ReProver
split=random
2023.06
12.8
34.7
0.29
Feedback
Search any
task
Search any
task
