miniF2F ↗1.3%
GPT-f / Metamath · miniF2F · Test · pass@1 · miniF2F v1 · 128-expansion proof search ↗
OpenAI / MODEL EVIDENCE
GPT-f / Metamath
1 benchmarks · 1 observations · 1 sources
Scores at a glance
1 benchmarks · large dot: GPT-f / Metamath; small dots: closest models where reported
Closest models by score
Similar positions on shared benchmark leaderboards. Smaller gaps are closer.
1 of 1 shared benchmark comparisons
GPT-f / Lean →OpenAI
1 of 1 shared benchmark comparisons
How similarity is measured
Mean absolute gap in percentile positions on shared benchmark settings; lower is closer. At least 60% overlap is required, with a minimum of three when available. Independent evaluations are used when there are at least three; otherwise published report comparisons are used. Repeated model observations within one setting are averaged before ranking. Writing-style traits and composite indices are excluded. This describes similarity, not an overall quality ranking.
Sources
Every plotted observation links to its evaluation. Reported configurations, benchmark versions and task subsets can differ; similarity describes shared scores, not training lift.
Names used in source tables
GPT-f / Metamath