Theorem Proving on ProofNet (test)
15.25Pass Rate (%)
HAGBP
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.04 | 15.25 | 1.67 | 0.84 | 26.09 | |
2025.04 | 14.69 | 1.83 | 1 | 28.57 | |
2025.04 | 14.12 | 1.8 | 0.75 | 21.74 | |
2025.04 | 13.56 | 2.4 | - | - | |
2025.04 | 13.56 | 1.83 | - | - | |
2025.04 | 13.56 | 2 | - | - | |
2025.04 | 12.8 | 2 | 1 | 31.25 | |
2025.04 | 11.86 | - | - | - | |
2025.04 | 11.86 | - | - | - | |
2025.04 | 11.3 | - | - | - | |
2025.04 | 10.17 | 2 | - | - | |
2025.04 | 9.6 | - | - | - |