diff --git a/README.md b/README.md index 8463d30..fad51e4 100644 --- a/README.md +++ b/README.md @@ -1,3 +1,5 @@ + +
@@ -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