lean-lang.org
lean-lang.org is Lean AI formalization leaderboard | Lean AI formalization leaderboard. It is ranked #2232 on the AI Radar, in AI research, first seen 35 days ago and shared in 2 posts (17.5k views).
Lean AI formalization leaderboard | Lean AI formalization leaderboard ⊢ lean-eval ☀ ☾ Lean AI formalization leaderboard lean-eval Lean AI formalization leaderboard Public results on a benchmark of hard Lean formalization problems, based on solutions submitted by external participants. Expand any row to inspect solved theorems, extracted statements, and links to public proofs when available. 78 models 62 submitters 32 problem authors 304 problems This is a submission-based leaderboard. All results come from solution artifacts submitted by external participants; the Lean FRO does not run models against these problems itself. Rankings reflect…
What people said about lean-lang.org on X
Planting headstones in a graveyard and naming it after a constellation for further exploration.
— @nihilunbounded, 3 days ago · 22 likes · see the post
Alternatives to lean-lang.org
- academy.dair.ai — Chat with Paper
- alphaXiv — Now on @askalphaxiv
- flashprove — Further progress in provable inference will likely be an important part of improving trust in AI deployment. To that…
- moe-blogpost — A hands-on guide to training Mixture-of-Experts models
- liberai.com — Technical blog
- Science's Last Exam — Can AI do research, end to end? Science's Last Exam defines and measures whether an AI agent can carry a research goal…
lean-lang.org in numbers
- Rank on the AI Radar: #2232 of 10412
- Shared in 2 posts by 2 accounts: @nihilunbounded
- 17.5k views on those posts
- First seen 35 days ago, last shared 3 days ago
- Pricing seen by AGK Intelligence: free
- Market: AI research
FAQ
What is lean-lang.org?
Lean AI formalization leaderboard | Lean AI formalization leaderboard It was first shared on X 35 days ago and is ranked #2232 on the AI Radar.
Is lean-lang.org free?
Yes, it is free to use.
Who shared lean-lang.org?
2 accounts on X, including @nihilunbounded, in 2 posts totalling 17.5k views.
Every post is read and classified by AGK Intelligence: what it is, which market it belongs to, and whether the link is a real tool. 65.5k posts from 5k X accounts over the last 14 days, 10.4k tools, 19 markets. New posts are collected several times an hour and the full ranking is recomputed every hour — last update 2026-11-06 16:50 UTC. Full method.