PutnamBench - Coq, Answer Supplied (pass@1; Revision Unspecified; T 0.0): 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 'pass@1'. Higher is better; counts stay separate from other languages, answer conditions and budgets. A corpus revision is not reported. Reported temperature: 0.0.
Metric: Problems solved; Coq, Answer Supplied; reported compute budget: pass@1; Revision Unspecified; T 0.0. Source: github.com. 1 models tracked.
Top models
| # | Model | Score | Overall rank |
|---|---|---|---|
| 1 | COPRA (GPT-4o) | 1 |
Interactive version: theaggregate.ai/benchmark?slug=putnambench-coq-answer-supplied-pass-1-revision-unspecified-t-0-0 · How It Works · Data refreshed daily, snapshot 2026-10-16.