Autoformalization and Proving on ProofNet N=186 (test)
0.7849Pass@64
Ground truth statement (oracle)
Updated 27d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| 0.7849 | 0.2473 | 0.1828 | ||
2026.03 | 0.6828 | 0.2796 | 0.2419 | |
2026.03 | 0.6398 | 0.2688 | 0.2473 | |
2026.03 | 0.5699 | 0.2473 | 0.2204 |