Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning

In three linesHilbert-Geo introduces a unified formal framework for solid geometry via Parse2Reason: parsing into CDL (Conditional Description Language) 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 annotated datasets: SolidFGeo2k and PlaneFGeo3k.

Summary generated by Claude — human-verified