Formal Theorem Proving on MiniF2F (test)
99.6Pass@1
Seed Prover
Updated 9d ago
Evaluation Results
| Method | Links | ||||||||||
|---|---|---|---|---|---|---|---|---|---|---|---|
2025.09 | 99.6 | - | - | - | - | - | - | - | - | - | |
2025.09 | 99.2 | - | - | - | - | - | - | - | - | - | |
2025.09 | 98.4 | - | - | - | - | - | - | - | - | - | |
2025.09 | 96.7 | - | - | - | - | - | - | - | - | - | |
2025.09 | 95.9 | - | - | - | - | - | - | - | - | - | |
2025.09 | 95.1 | - | - | - | - | - | - | - | - | - | |
2025.09 | 94.7 | - | - | - | - | - | - | - | - | - | |
2025.09 | 92.6 | - | - | - | - | - | - | - | - | - | |
2026.04 | 92.21 | - | - | - | - | - | - | - | - | - | |
2025.09 | 92.2 | - | - | - | - | - | - | - | - | - | |
2025.09 | 92.2 | - | - | - | - | - | - | - | - | - | |
2025.09 | 90.8 | - | - | - | - | - | - | - | - | - | |
2025.09 | 90.2 | - | - | - | - | - | - | - | - | - | |
2025.09 | 89.3 | - | - | - | - | - | - | - | - | - | |
2026.04 | 88.93 | - | - | - | - | - | - | - | - | - | |
2025.09 | 88.9 | - | - | - | - | - | - | - | - | - | |
2025.09 | 87.7 | - | - | - | - | - | - | - | - | - | |
2025.09 | 82 | - | - | - | - | - | - | - | - | - | |
2025.04 | 80.74 | - | - | - | - | - | - | - | - | - | |
2025.04 | 80.74 | - | - | 40 | 86.67 | - | - | - | - | - | |
2025.09 | 78.3 | - | - | - | - | - | - | - | - | - | |
2025.04 | 77.87 | - | - | - | - | - | - | - | - | - | |
| 75 | - | - | - | - | - | - | - | - | - | ||
2025.09 | 74.6 | - | - | - | - | - | - | - | - | - | |
2025.04 | 70.8 | - | - | - | - | - | - | - | - | - | |
| 70.8 | - | - | - | - | - | - | - | - | - | ||
2025.04 | 68.85 | - | - | - | - | - | - | - | - | - | |
2025.04 | 68.85 | - | - | 20 | 46.67 | - | - | - | - | - | |
2025.04 | 68.4 | - | - | - | - | - | - | - | - | - | |
2025.09 | 67.6 | - | - | - | - | - | - | - | - | - | |
2025.01 | 66 | - | - | - | - | - | - | - | - | - | |
2025.01 | 65.9 | - | - | - | - | - | - | - | - | - | |
2025.04 | 65.9 | - | - | - | - | - | - | - | - | - | |
2025.04 | 65.16 | - | - | - | - | - | - | - | - | - | |
2025.09 | 65 | - | - | - | - | - | - | - | - | - | |
2025.04 | 64.7 | - | - | - | - | - | - | - | - | - | |
| 63.5 | - | - | - | - | - | - | - | - | - | ||
| 63.5 | - | - | - | - | - | - | - | - | - | ||
| 63.1 | - | - | - | - | - | - | - | - | - | ||
2025.09 | 62.7 | - | - | - | - | - | - | - | - | - | |
| 61.9 | - | - | - | - | - | - | - | - | - | ||
| 61.3 | - | - | - | - | - | - | - | - | - | ||
2025.04 | 61.1 | - | - | - | - | - | - | - | - | - | |
| 60.2 | - | - | - | - | - | - | - | - | - | ||
2025.04 | 60.2 | - | - | - | - | - | - | - | - | - | |
| 59.6 | - | - | - | - | - | - | - | - | - | ||
2025.01 | 59.4 | - | - | - | - | - | - | - | - | - | |
| 56.3 | - | - | - | - | - | - | - | - | - | ||
| 56.2 | - | - | - | - | - | - | - | - | - | ||
2024.08 | 56.1 | - | - | - | - | - | - | - | - | - | |
2025.01 | 54.5 | - | - | - | - | - | - | - | - | - | |
2025.04 | 52.94 | - | - | - | - | - | - | - | - | - | |
| 52.5 | - | - | - | - | - | - | - | - | - | ||
2024.08 | 51.2 | - | - | - | - | - | - | - | - | - | |
2025.01 | 50.7 | - | - | - | - | - | - | - | - | - | |
2024.08 | 50 | - | - | - | - | - | - | - | - | - | |
2026.04 | 50 | - | - | - | - | - | - | - | - | - | |
2025.09 | 49.1 | - | - | - | - | - | - | - | - | - | |
2025.01 | 47.3 | - | - | - | - | - | - | - | - | - | |
2025.01 | 46.3 | - | - | - | - | - | - | - | - | - | |
2024.08 | 45.5 | - | - | - | - | - | - | - | - | - | |
| 42.6 | - | - | - | - | - | - | - | - | - | ||
2025.01 | 42.2 | - | - | - | - | - | - | - | - | - | |
2024.05 | 42.2 | - | - | - | - | - | - | - | - | - | |
2025.01 | 41 | - | - | - | - | - | - | - | - | - | |
2024.08 | 39.3 | - | - | - | - | - | - | - | - | - | |
2025.03 | 37.7 | - | - | - | - | - | - | - | - | - | |
2025.04 | 37.7 | - | - | 5 | 13.33 | - | - | - | - | - | |
2024.05 | 37.3 | - | - | - | - | - | - | - | - | - | |
2025.03 | 36.9 | - | - | - | - | - | - | - | - | - | |
2025.01 | 36.6 | - | - | - | - | - | - | - | - | - | |
2022.05 | 35.2 | - | - | - | - | - | - | - | - | - | |
2024.05 | 35.2 | - | - | - | - | - | - | - | - | - | |
2024.08 | 35.2 | - | - | - | - | - | - | - | - | - | |
2022.05 | 34 | - | - | - | - | - | - | - | - | - | |
2025.04 | 31.56 | - | - | - | - | 1.6 | 0.76 | 8.11 | - | - | |
2025.04 | 31.15 | - | - | - | - | 1.67 | 0.88 | 12.5 | - | - | |
| 30.74 | - | - | - | - | - | - | - | - | - | ||
2024.05 | 30.7 | - | - | - | - | - | - | - | - | - | |
| 29.92 | - | - | - | - | - | - | - | - | - | ||
2022.05 | 29.9 | - | - | - | - | - | - | - | - | - | |
2024.05 | 29.9 | - | - | - | - | - | - | - | - | - | |
2024.08 | 29.9 | - | - | - | - | - | - | - | - | - | |
| 29.6 | 34.5 | - | - | - | - | - | - | - | - | ||
2022.05 | 29.6 | - | - | - | - | - | - | - | - | - | |
2024.05 | 29.6 | - | - | - | - | - | - | - | - | - | |
2025.04 | 29.51 | - | - | - | - | 1.89 | - | - | - | - | |
2025.04 | 29.51 | - | - | - | - | 2.1 | - | - | - | - | |
2025.04 | 29.1 | - | - | - | - | 2.11 | - | - | - | - | |
2023.10 | 29.09 | - | - | - | - | - | - | - | - | - | |
2025.04 | 28.28 | - | - | - | - | 1.5 | 0.71 | 13.24 | - | - | |
2025.01 | 27.9 | - | - | - | - | - | - | - | - | - | |
| 27.2 | 33 | - | - | - | - | - | - | - | - | ||
2026.04 | 26.64 | - | - | - | - | - | - | - | - | - | |
2023.10 | 26.63 | - | - | - | - | - | - | - | - | - | |
2025.03 | 26.5 | - | - | - | - | - | - | - | - | - | |
2024.05 | 26.5 | - | - | - | - | - | - | - | - | - | |
2023.10 | 26.23 | - | - | - | - | - | - | - | - | - | |
2025.04 | 26.23 | - | - | - | - | 2 | - | - | - | - | |
2025.04 | 26.23 | - | - | - | - | 1.86 | 0.93 | 11.67 | - | - |
Showing 100 of 236 rows