Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Theorem Proving on LeanDojo Benchmark 4 Lean 3 (random)
Loading...
48.6
Pass@1
ReProver
44.336
45.443
46.55
47.657
Jun 27, 2023
Pass@1
Updated 1mo ago
Evaluation Results
Method
Method
Links
Pass@1
ReProver
retrieval=enabled
2023.06
48.6
W/o retrieval
retrieval=disabled
2023.06
44.5
Feedback
Search any
task
Search any
task
