@misc{indiciae27fbceb3496a,
  title = {Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning},
  author = {Ruoran Xu and Haoyu Cheng and Bin Dong and Qiufeng Wang},
  year = {2026},
  url = {https://arxiv.org/abs/2605.16385},
  note = {Source identifier: 2605.16385}
}