Multimodal Autoformalization on ANALYTIC GEOMETRY Solid Geometry
1Compile RateGPT-5
Evaluation Results
| Method | Links | |||
|---|---|---|---|---|
| GPT-5Modality=Text2026.01 | 1 | 1 | — | |
| Gemini-3-ProModality=Image2026.01 | 0.6 | 0.4 | 0.4 | |
| Gemini-2.5-ProModality=Image2026.01 | 0.6 | 0.4 | 0.6 | |
| Gemini-3-ProModality=Text2026.01 | 0.4 | 0.2 | — | |
| GPT-5Modality=Image2026.01 | 0.2 | 0.2 | 0 | |
| Qwen3-VL-235BModality=Image2026.01 | 0.2 | 0.2 | — | |
| Gemini-2.5-ProModality=Text2026.01 | 0 | 0 | — | |
| Qwen3-VL-235BModality=Text2026.01 | 0 | 0 | — | |
| Qwen2.5-VL-72BModality=Image2026.01 | 0 | 0 | 0 | |
| Qwen2.5-VL-72BModality=Text2026.01 | 0 | 0 | — |