Share your thoughts, 1 month free Claude Pro on usSee more

Multimodal Autoformalization on ANALYTIC GEOMETRY Plane Geometry

60Compile Rate

Gemini-3-Pro

Updated 1mo ago

Evaluation Results

Method	Links
Gemini-3-Pro 2026.01		60	60	60
GPT-5 2026.01		40	20	20
Gemini-2.5-Pro 2026.01		20	20	20
Qwen3-VL-235B 2026.01		20	20	20
GPT-5 2026.01		0	0	-
Gemini-3-Pro 2026.01		0	0	-
Gemini-2.5-Pro 2026.01		0	0	-
Qwen3-VL-235B 2026.01		0	0	-
Qwen2.5-VL-72B 2026.01		0	0	0
Qwen2.5-VL-72B 2026.01		0	0	-