List your company

Geometry problem solving on Formalgeo7k

63.5Top-1 AccuracyGeoFocus-7B
3.49219.07134.6550.229Feb 9, 2026

Evaluation results

MethodLinks
GeoFocus-7BModel Category=Open-source Mathematical Geometry LMMs, Parameters=7B2026.0263.5
GeoUniModel Category=Open-source Mathematical Geometry LMMs2026.0259.8
GeoFocus-3BModel Category=Open-source Mathematical Geometry LMMs, Parameters=3B2026.0255.4
Gemma-3-4BModel Category=Open-source LMMs, Parameters=4B2026.0237
GPT-4oModel Category=Closed-source LMMs2026.0236.7
Gemini 2.0 FlashModel Category=Closed-source LMMs2026.0236.5
Qwen2.5-VL-7BModel Category=Open-source LMMs, Parameters=7B2026.0235.6
InternVL-3-8BModel Category=Open-source LMMs, Parameters=8B2026.0228.8
Claude 3.7Model Category=Closed-source LMMs2026.0224
InternVL-3-2BModel Category=Open-source LMMs, Parameters=2B2026.0217.4
Qwen2.5-VL-3BModel Category=Open-source LMMs, Parameters=3B2026.0216.8
G-LLaVA-13BModel Category=Open-source Mathematical Geometry LMMs, Parameters=13B2026.0214.1
InternVL-2.5-8BModel Category=Open-source LMMs, Parameters=8B2026.0211.8
Monkey-Chat-7BModel Category=Open-source LMMs, Parameters=7B2026.029.3
mPLUG-Owl2-7BModel Category=Open-source LMMs, Parameters=7B2026.026.6
Chameleon-7BModel Category=Open-source LMMs, Parameters=7B2026.025.9
Deepseek-VL-7BModel Category=Open-source LMMs, Parameters=7B2026.025.8