Statement generation on ProofNet N = 186 (test)
98.4CH@100
FormalEvolve (K=1)
Updated 27d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2026.03 | 98.4 | 86.6 | 0.362 | 19.8 | |
2026.03 | 97.3 | 82.8 | 0.505 | 24.1 | |
2026.03 | 97.3 | 84.9 | 0.443 | 22.9 | |
| 97.3 | 87.1 | 0.454 | 23.6 | ||
2026.03 | 90.9 | 72 | 0.566 | 26.3 | |
2026.03 | 90.9 | 78 | 0.555 | 26.4 | |
2026.03 | 90.3 | 71.5 | 0.537 | 24.3 | |
| 90.3 | 78 | 0.449 | 21.1 | ||
| 68.8 | 54.8 | 0.802 | 65.6 | ||
2026.03 | 38.7 | 24.2 | 0.896 | 87.6 | |
2026.03 | 37.1 | 23.7 | 0.912 | 91.1 |