Autoformalization and Proving on CombiBench (N=100)
96Pass@64
Ground truth statement (oracle)
Updated 27d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| 96 | 68 | 18 | ||
2026.03 | 44 | 27 | 13 | |
2026.03 | 41 | 23 | 8 | |
2026.03 | 40 | 23 | 8 |
Ground truth statement (oracle)
| Method | Links | |||
|---|---|---|---|---|
| 96 | 68 | 18 | ||
2026.03 | 44 | 27 | 13 | |
2026.03 | 41 | 23 | 8 | |
2026.03 | 40 | 23 | 8 |