Formal Theorem Proving on ProofNet (val)
9.04Pass RateHierarchical Attention
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
| Hierarchical AttentionK=64, sampling_strategy=single-pass2025.04 | 9.04 | 1.5 | 1 | 30.77 | |
| BaselineK=32, sampling_strategy=single-pass2025.04 | 8.47 | 1.5 | — | — | |
| BaselineK=64, sampling_strategy=single-pass2025.04 | 8.47 | 1.5 | — | — | |
| BaselineK=16, sampling_strategy=single-pass2025.04 | 7.34 | — | — | — | |
| Hierarchical AttentionK=16, sampling_strategy=single-pass2025.04 | 7.34 | — | — | — | |
| Hierarchical AttentionK=32, sampling_strategy=single-pass2025.04 | 7.34 | 1.5 | 1 | 18.18 |