Theorem Proving on PutnamBench 32-problem Lean 4 (random sample)
32Solved CountBeyond the Library
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| Beyond the LibraryBackbone=Claude Opus 4.7, Setting=single attempt2026.06 | 32 | 91.3 | 5 |
Loading the SOTA2 catalog…
| Method | Links | |||
|---|---|---|---|---|
| Beyond the LibraryBackbone=Claude Opus 4.7, Setting=single attempt2026.06 | 32 | 91.3 | 5 |