PutnamBench - Lean 4, Answer Supplied (Not reported): leaderboard
Number of Putnam competition problems reported solved in Lean 4, with numerical answers supplied in the theorem statement where required. The source reports compute budget 'Not reported'. Higher is better; counts stay separate from other languages, answer conditions and budgets. A corpus revision is not reported. The source describes a project claim with proof files supplied privately for independent verification; the compute budget is not reported.
Metric: Problems solved; Lean 4, Answer Supplied; reported compute budget: Not reported. Source: github.com. 1 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Ensemble Prover (Graviterra) | 65 |
Interactive version: theaggregate.ai/benchmark?slug=putnambench-lean-4-answer-supplied-not-reported · How It Works · Data refreshed daily, snapshot 2026-10-16.