Multimodal Autoformalization on MATHVERSE Solid Geometry
80Compilation Success
Gemini-3-Pro
Updated 3d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.01 | 80 | 80 | 50 | |
2026.01 | 70 | 70 | - | |
2026.01 | 52 | 52 | 52 | |
2026.01 | 32 | 24 | 24 | |
2026.01 | 30 | 10 | 10 | |
2026.01 | 30 | 20 | - | |
2026.01 | 28 | 28 | 28 | |
2026.01 | 20 | 16 | 12 | |
2026.01 | 20 | 10 | - | |
2026.01 | 12 | 8 | 4 | |
2026.01 | 10 | 0 | 10 | |
2026.01 | 8 | 8 | - | |
2026.01 | 8 | 0 | - | |
2026.01 | 4 | 0 | - | |
2026.01 | 0 | 0 | - | |
2026.01 | 0 | 0 | - | |
2026.01 | 0 | 0 | 0 | |
2026.01 | 0 | 0 | - | |
2026.01 | 0 | 0 | 0 | |
2026.01 | 0 | 0 | - |