Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Formal Theorem Proving on LeanDojo (test)
Loading...
58.25
Pass Rate
ProofSketcher
50.918
52.8215
54.725
56.6285
Apr 7, 2026
Pass Rate
Updated 9d ago
Evaluation Results
Method
Method
Links
Pass Rate
ProofSketcher
2026.04
58.25
ReProver (LeanDojo)
2026.04
51.2
Feedback
Search any
task
Search any
task
