Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
Hilbert-Geo introduces a unified formal framework for solid geometry via Parse2Reason: parsing into Conditional Description Language (CDL) then reasoning with theorem bank. Achieves 77.3% on SolidFGeo2k and 84.1% on MathVerse-Solid, outperforming Gemini-2.5-pro (54.2%) and GPT-5 (62.9%). Two expert-annotated datasets: SolidFGeo2k and PlaneFGeo3k.