Benchmarks

MiniF2F (valid)

Mathunit % · normalized over [0, 96]

Formal (Lean 4) theorem-proving benchmark, validation split.

#ModelSourceScoreNormalized

Score distribution

4 tracked results across the normalization window

096

Score vs. parameters

Open-weights models, log-x params