Our new X account is live! Follow @wizwand_team for updates
Home
/
Benchmarks
Multimodal Autoformalization on ANALYTIC GEOMETRY Plane Geometry
Loading...
60
Compile Rate
Gemini-3-Pro
-2.4
13.8
30
46.2
Jan 6, 2026
Compile Rate
Semantic Correctness
Human Check Score
Updated 3d ago
Evaluation Results
Method
Method
Links
Compile Rate
Semantic Correctness
Human Check Score
Gemini-3-Pro
Modality=Image
2026.01
60
60
60
GPT-5
Modality=Image
2026.01
40
20
20
Gemini-2.5-Pro
Modality=Image
2026.01
20
20
20
Qwen3-VL-235B
Modality=Image
2026.01
20
20
20
GPT-5
Modality=Text
2026.01
0
0
-
Gemini-3-Pro
Modality=Text
2026.01
0
0
-
Gemini-2.5-Pro
Modality=Text
2026.01
0
0
-
Qwen3-VL-235B
Modality=Text
2026.01
0
0
-
Qwen2.5-VL-72B
Modality=Image
2026.01
0
0
0
Qwen2.5-VL-72B
Modality=Text
2026.01
0
0
-
Feedback
Search any
task
Search any
task