diff --git a/README.md b/README.md index 8463d30..fad51e4 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ + +

Logo @@ -40,7 +42,7 @@ SolidGeoSolver/ - `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. +- `data/hilbert_geo7k_v2/` contains sample subset for repository display and quick testing. ## Quick Start