Share your thoughts, 1 month free Claude Pro on us
See more
Home
/
Benchmarks
Theorem Proving on PutnamBench 32-problem Lean 4 (random sample)
Loading...
32
Solved Count
Beyond the Library
30.4
31.2
32
32.8
Jun 30, 2026
Solved Count
Accuracy
Query Cost ($)
Updated 24d ago
Evaluation Results
Method
Method
Links
Solved Count
Accuracy
Query Cost ($)
Beyond the Library
Backbone=Claude Opus 4...
2026.06
32
91.3
5
Feedback
Search any
task
Search any
task
