From f5d5881f450fc268544ee5d6e98d63afbc2f809e Mon Sep 17 00:00:00 2001
From: webbrain-one <295484252+webbrain-one@users.noreply.github.com>
Date: Wed, 19 Aug 2026 20:14:43 +0300
Subject: [PATCH] docs: improve README

---
 README.md | 4 +++-
 1 file changed, 3 insertions(+), 1 deletion(-)

diff --git a/README.md b/README.md
index 8463d30..fad51e4 100644
--- a/README.md
+++ b/README.md
@@ -1,3 +1,5 @@
+
+
 <p align="center">
   <h1 style="display: inline-block; font-size: 24px; text-align: center; line-height: 1.5;"> 
     <img src="./logo.png" alt="Logo" style="width: 45px; vertical-align: middle; margin-right: 10px;"> 
@@ -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