math
ProofBench v1.1
- #4default of 52100.0%
Leader: Sonnet 5.5 · 100.0%
Other
AlephProver
Measured on 1 benchmarks.
General frontier
Not ranked in this mix — too little measured data for its benchmarks.
Your mix’s benchmarks
0 of 8 measuredThis model has no results on your mix’s benchmarks.
All 1 benchmarks
show 1 more
52 results