Formal Theorem Proving on ProofNet (val)
9.04Pass Rate
Hierarchical Attention
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.04 | 9.04 | 1.5 | 1 | 30.77 | |
2025.04 | 8.47 | 1.5 | - | - | |
2025.04 | 8.47 | 1.5 | - | - | |
2025.04 | 7.34 | - | - | - | |
2025.04 | 7.34 | - | - | - | |
2025.04 | 7.34 | 1.5 | 1 | 18.18 |