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

Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning arXiv:2605.16385v2 Announce Type: replace Abstract: Geometric problem solving, as a typical multimodal reasoning problem, has attracted much attention and made great progress recently, however most of works focus on plane geometry while usually fail in solid geometry due to 3D spatial diagrams and complex reasoning. To bridge this gap, we introduce Hilbert-Geo, the first unified formal language framework for solid geomet