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

🌐 Homepage • 🥇 Leaderboard • 📖 Paper • 🤗 Data

News

2026.02:  🎉🎉 Our paper "Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning" was accepted by CVPR2026.

Structure

SolidGeoSolver/
├── api/
│   ├── base.py
│   ├── claude_api.py
│   ├── gemini_api.py
│   └── openai_api.py
├── core/
│   ├── fgps/
│   ├── gdl/
│   ├── files/
│   └── hilbert_geo/
└── data/
    └── hilbert_geo7k_v2/

• api/ contains prompt-and-call helpers for model APIs.
• core/hilbert_geo/ is the package.
• core/gdl/ and core/files/t_info.json keep the predicate library, theorem bank, and theorem metadata with the core code.
• data/hilbert_geo_v2/ contains sample subset for repository display and quick testing.

Quick Start

Install dependencies, you may need to manually download hilbertgeo in requirement.txt at present:

pip install -r requirements.txt

Run the interactive solver:

python core/fgps/run.py --func run

Run search:

python core/fgps/search.py --func search --method fw --strategy bfs

By default:

• datasets are loaded from data/
• logs are written to core/fgps/
• GDL and theorem metadata are loaded from core/ when they are not present in the dataset folder

Notes

• The Python package name is now hilbert_geo.
• The repository display name used in docs is Hilbert-Geo.
• The sample dataset folder is renamed to hilbert_geo_v2 and only includes the first 1000 problems.

✍️ Citation

If you use our work and are inspired by our work, please consider cite us (soon):

@inproceedings{xu2026hilbert,
  title={Hilbert-Geo: Solving Solid Geometric Problems by Neural-Symbolic Reasoning},
  author={Xu, Ruoran and Cheng, Haoyu and Bin, Dong and Wang, Qiufeng},
  booktitle={Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition (CVPR)},
  pages={XXXX--XXXX},
  year={2026},
  doi={10.XXXX/CVPR2026.XXXXXX},
  url={https://openaccess.thecvf.com/CVPR2026}
}