PutnamBench - Coq, Answer Supplied ($45/task): leaderboard
Number of Putnam competition problems reported solved in Coq, with numerical answers supplied in the theorem statement where required. The source reports compute budget '$45/task'. Higher is better; counts stay separate from other languages, answer conditions and budgets. Reported corpus revision: 4dbe26ef21563af851eedaeb82d936fe1f94fc52. Five proofs use existing statements; three use corrected formalizations documented by the source. The proof-artifact commit is distinct from the benchmark baseline.
Metric: Problems solved; Coq, Answer Supplied; reported compute budget: $45/task. Source: github.com. 1 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | Fable 5.1 Max | 8 |
Interactive version: theaggregate.ai/benchmark?slug=putnambench-coq-answer-supplied-45-task · How It Works · Data refreshed daily, snapshot 2026-10-16.