TY  - RPRT
TI  - Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning
AU  - Ruoran Xu
AU  - Haoyu Cheng
AU  - Bin Dong
AU  - Qiufeng Wang
PY  - 2026
UR  - https://arxiv.org/abs/2605.16385
ID  - 2605.16385
ER  -