Formal Proof Generation on Lean 4 (val)
49.8Pass@1
Ours
Updated 27d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 49.8 | 52.7 | 54.1 | |
2026.03 | 25.4 | 36 | 39.9 | |
2026.03 | 23.7 | 33.2 | 37.5 | |
2026.03 | 14.1 | 30 | 36.2 | |
2026.03 | 14 | 31.1 | 38.2 | |
2026.03 | 9.8 | 25.3 | 35.8 |
Ours
| Method | Links | |||
|---|---|---|---|---|
2026.03 | 49.8 | 52.7 | 54.1 | |
2026.03 | 25.4 | 36 | 39.9 | |
2026.03 | 23.7 | 33.2 | 37.5 | |
2026.03 | 14.1 | 30 | 36.2 | |
2026.03 | 14 | 31.1 | 38.2 | |
2026.03 | 9.8 | 25.3 | 35.8 |