List your company
ResearchFormerly WizWand

Automated Theorem Proving on UniGeo Plane Geometry 1.0 (test)

0.12Output Tokens (Thousands)DreamProver
-12.675273.6924160.06246.4276Apr 29, 2026
Updated 6mo ago

Evaluation results

MethodLinks
DreamProverSystem Category=Lemma Learning System, Base Model=GPT-5.3-Codex2026.040.12
GPT-5.3-CodexSystem Category=Proprietary LLMs, Base Model=GPT-5.3-Codex2026.040.14
DreamProverSystem Category=Lemma Learning System, Base Model=Gemini 2.5 Pro2026.040.22
DreamProverSystem Category=Lemma Learning System, Base Model=Gemini 3.1 Pro2026.040.27
Gemini 2.5 ProSystem Category=Proprietary LLMs, Base Model=Gemini 2.5 Pro2026.040.34
Gemini 3.1 ProSystem Category=Proprietary LLMs, Base Model=Gemini 3.1 Pro2026.040.38
DreamProverSystem Category=Lemma Learning System, Base Model=GPT-5.3-Codex2026.04100
GPT-5.3-CodexSystem Category=Proprietary LLMs, Base Model=GPT-5.3-Codex2026.04120
Gemini 2.5 ProSystem Category=Proprietary LLMs, Base Model=Gemini 2.5 Pro2026.04180
Gemini 3.1 ProSystem Category=Proprietary LLMs, Base Model=Gemini 3.1 Pro2026.04210
DreamProverSystem Category=Lemma Learning System, Base Model=Gemini 3.1 Pro2026.04250
DreamProverSystem Category=Lemma Learning System, Base Model=Gemini 2.5 Pro2026.04320