Our new X account is live! Follow @wizwand_team for updates

Multimodal Autoformalization on MATHVERSE Plane Geometry

76Compile Rate

Gemini-3-Pro

Updated 3d ago

Evaluation Results

Method	Links
Gemini-3-Pro 2026.01		76	76	72
Qwen3-VL-235B 2026.01		28	16	12
GPT-5 2026.01		24	20	12
Gemini-2.5-Pro 2026.01		24	20	20
GPT-5 2026.01		8	0	-
Gemini-3-Pro 2026.01		8	0	-
Gemini-2.5-Pro 2026.01		8	0	-
Qwen3-VL-235B 2026.01		4	0	-
Qwen2.5-VL-72B 2026.01		0	0	0
Qwen2.5-VL-72B 2026.01		0	0	-