Formal theorem proving on Lean (test)
73Pass@1
α-DPG
Updated 4d ago
Evaluation Results
| Method | Links | ||||
|---|---|---|---|---|---|
2025.12 | 73 | 83.5 | - | - | |
2025.12 | 71.8 | 83.5 | - | - | |
2025.12 | 71.6 | 80 | - | - | |
2025.12 | 71.5 | 81 | - | - | |
2025.12 | 70.4 | 85 | - | - | |
2025.12 | 67.4 | 86 | - | - | |
2025.12 | 66.2 | 86 | - | - | |
2025.12 | 62.6 | 87 | - | - | |
2025.12 | 61.4 | 88.5 | - | - | |
2025.12 | 59.8 | 86.5 | - | - | |
2025.12 | 59.8 | 87 | - | - | |
2025.12 | 58.9 | 88 | - | - | |
2025.12 | 54.8 | 87 | - | - | |
2025.12 | 54.2 | 86 | - | - |