MiniF2F — leaderboard

MiniF2F: Measures mathematical reasoning, symbolic problem solving, proof construction, or competition-style problem solving.

Source: github.com.

Interactive version: theaggregate.ai/benchmark?slug=minif2f · How the rankings work · Data refreshed daily, snapshot 2026-07-22.