Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
Hilbert-Geo:通过神经符号推理解决立体几何问题
机构 * Xi’an Jiaotong-Liverpool University(西安交通大学利物浦大学) ; Ricoh Software Research Center Beijing Co.,Ltd(Ricoh 软件研究中心北京有限公司)
AI总结 提出Hilbert-Geo框架和Parse2Reason方法,利用条件描述语言和定理库实现立体几何问题的严格推理,在SolidFGeo2k和MathVerse-Solid上达到SOTA性能。
Comments Computer Vision and Pattern Recognition (CVPR), 2026