Skip to content

The Aggregate

Unified LLM rankings, daily
Models What's New Trends Benchmarks Skill Maps
How It Works Guesswork Metrics
The Aggregate
Loading data...

LeanDojo Benchmark — leaderboard

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

Source: leandojo.org.

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

Built by Mikhail Doroshenko — AI researcher, co-author of Humanity’s Last Exam. Independent project; no affiliation with any AI lab.