Automated Formal Theorem Proving on Putnam 2025
1,220B3 Score
Hilbert
Updated 24d ago
Evaluation Results
| Method | Links | |||||||||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|---|
2026.03 | 1,220 | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | 1,220 | |
2026.03 | 627 | - | - | - | - | 112 | 798 | 560 | 793 | - | 280 | 1,425 | 224 | 568 | 1,256 | 578 | 656 | |
2026.03 | 584 | - | - | - | - | 631 | 469 | 927 | 1,095 | - | 881 | 849 | 1,613 | 628 | 2,499 | 2,594 | 1,161 | |
2026.03 | 302 | - | - | - | - | 556 | 458 | 1,089 | 825 | 1,878 | 468 | 1,179 | 346 | 993 | 1,310 | 862 | 763 | |
2026.03 | 292 | - | - | - | - | 365 | 401 | 422 | 605 | 3,263 | 835 | 328 | 690 | 648 | 929 | 1,820 | 667 | |
2026.03 | 228 | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | 228 | |
2026.03 | 148 | - | - | - | - | 21 | 179 | 108 | 64 | - | 82 | 132 | 41 | 126 | 258 | 93 | 114 | |
2026.03 | 50 | - | - | - | - | 50 | 50 | 50 | 50 | 1,000 | 50 | 50 | 50 | 50 | 50 | 300 | 72.7 | |
2026.03 | 48 | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | 48 | |
2026.03 | 43 | - | - | - | - | 110 | 180 | 165 | 107 | 518 | 259 | 270 | 65 | 112 | 254 | 494 | 187 | |
2026.03 | 37.9 | - | - | - | - | - | - | - | - | - | - | - | - | - | - | - | 37.9 | |
2026.03 | 30 | - | - | - | - | 60 | 30 | 120 | 240 | - | 240 | 540 | 360 | 120 | 240 | 180 | 196 | |
2026.03 | 30 | - | - | - | - | 27 | 81 | 30 | 169 | 2,040 | 89 | 55 | 136 | 308 | 88 | 797 | 165 | |
2026.03 | 26 | - | - | - | - | 27 | 18 | 23 | 28 | - | 38 | 21 | 48 | 18 | 103 | 185 | 49 | |
2026.03 | 15.4 | - | - | - | - | 4.21 | 29 | 19.5 | 10.5 | - | 4.91 | 29.8 | 3.72 | 20.1 | 57 | 9.01 | 18.5 | |
2026.03 | 11 | - | - | - | - | 23 | 26 | 78 | 32 | 52 | 28 | 49 | 28 | 23 | 66 | 30 | 36 | |
2026.03 | 9 | - | - | - | - | 1 | 5 | 21 | 11 | 77 | 37 | 6 | 14 | 10 | 33 | 41 | 17 | |
2026.03 | 9 | - | - | - | - | 1 | 20 | 9 | 10 | - | 1 | 30 | 2 | 17 | 45 | 10 | 14 |