Multimodal Autoformalization on MATHVERSE Function
100Compile Rate
Gemini-3-Pro
Updated 3d ago
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
2026.01 | 100 | 40 | 40 | |
2026.01 | 80 | 30 | 30 | |
2026.01 | 60 | 60 | 60 | |
2026.01 | 60 | 0 | - | |
2026.01 | 40 | 0 | - | |
2026.01 | 30 | 20 | 10 | |
2026.01 | 30 | 0 | - | |
2026.01 | 20 | 0 | 0 | |
2026.01 | 20 | 0 | - | |
2026.01 | 0 | 0 | - |