Formal Proof Refactoring on Putnam 12 problems 2025
4.27Average ScoreProof-Refactor
Evaluation results
| Method | Links | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Proof-Refactor2026.06 | 4.27 | 4.31 | 4.28 | 4.22 | 4.29 | 4.26 | 4.5 | 337.2 | |
| Baseline2026.06 | 3.96 | 4.01 | 3.76 | 4.04 | 4 | 3.99 | 8.3 | 625.9 |
| Method | Links | ||||||||
|---|---|---|---|---|---|---|---|---|---|
| Proof-Refactor2026.06 | 4.27 | 4.31 | 4.28 | 4.22 | 4.29 | 4.26 | 4.5 | 337.2 | |
| Baseline2026.06 | 3.96 | 4.01 | 3.76 | 4.04 | 4 | 3.99 | 8.3 | 625.9 |