Skip to content
The Aggregate

Unified LLM rankings, daily
Models What's New Trends Benchmarks Skill Maps Task Explorer Builder
How It Works About 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 It Works · Data refreshed daily, snapshot 2026-09-05.

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

Your Aggregate

Sign in to keep your work

Save custom rankings and get 50 free task analyses each day.

Continue with Google Continue with GitHub

No password to remember. Your public profile identifies saved work.

Your Aggregate

Account

  • Saved custom aggregate views
  • 50 free task analyses per day
Sign out