AIBullisharXiv – CS AI · 14h ago6/10
🧠
Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
Researchers introduce Hilbert-Geo, a neural-symbolic AI framework for solving solid geometry problems by combining formal language representation with theorem-based reasoning. The system achieves 77.3% accuracy on solid geometry tasks, significantly outperforming leading AI models like GPT-4 and Gemini-2.5-pro, demonstrating advances in multimodal geometric reasoning.
🧠 GPT-5🧠 Gemini