Add Hilbert 4B baseline GGUF

README.md

@@ -14,7 +14,7 @@ short_description: Deterministic systems, verified end to end
 **Deterministic systems, verified end to end.**
 Alternative attention · SUBLEQ · integer computing · formal proofs · the hardware to run them.
 
-`153 models` · `12 datasets` · `12 spaces` · `20+ languages`
+`154 models` · `12 datasets` · `12 spaces` · `20+ languages`
 
 **Upstream contributors to [Agda](https://github.com/agda/agda)** (dependently typed proof assistant) **and [LiquidHaskell](https://github.com/ucsd-progsys/liquidhaskell)** (refinement types for Haskell, from the UC San Diego Programming Systems group).
 
@@ -54,7 +54,7 @@ ollama run hf.co/Snapkitty/snapkitty-merged:Q4_K_M
 
 | Collection | Focus | Repos |
 |---|---|---:|
-| 🧠 [Models and Training](https://huggingface.co/spaces/Snapkitty/models-and-training) | Language models, checkpoints and training stacks | 16 |
+| 🧠 [Models and Training](https://huggingface.co/spaces/Snapkitty/models-and-training) | Language models, checkpoints and training stacks | 17 |
 | 🤖 [Agents and Orchestration](https://huggingface.co/spaces/Snapkitty/agents-and-orchestration) | Multi-agent systems and orchestration engines | 26 |
 | ✅ [Formal Verification](https://huggingface.co/spaces/Snapkitty/formal-verification) | Lean 4, Agda and cross-language proofs | 19 |
 | ⚡ [GPU Kernels and Hardware](https://huggingface.co/spaces/Snapkitty/gpu-kernels) | CUDA kernels, RTL accelerators and embedded OS | 16 |

hub.html

@@ -16,7 +16,7 @@
     <h1>Deterministic systems, verified end to end.</h1>
     <p class="lede">Alternative attention, SUBLEQ, integer computing, formal proofs and the hardware to run them, built in the open.</p>
     <div class="stats">
-      <div><b>153</b><span>models</span></div>
+      <div><b>154</b><span>models</span></div>
       <div><b>12</b><span>datasets</span></div>
       <div><b>12</b><span>spaces</span></div>
       <div><b>20+</b><span>languages</span></div>
@@ -103,7 +103,7 @@
     <div class="section-head"><h2>Explore</h2></div>
     <div class="tiles">
 <a class="tile" href="https://huggingface.co/spaces/Snapkitty/models-and-training">
-  <span class="tile-emoji">🧠</span><span class="tile-title">Models and Training</span><span class="tile-sub">Language models, checkpoints and training stacks</span><span class="tile-count">16 repositories</span>
+  <span class="tile-emoji">🧠</span><span class="tile-title">Models and Training</span><span class="tile-sub">Language models, checkpoints and training stacks</span><span class="tile-count">17 repositories</span>
 </a>
 <a class="tile" href="https://huggingface.co/spaces/Snapkitty/agents-and-orchestration">
   <span class="tile-emoji">🤖</span><span class="tile-title">Agents and Orchestration</span><span class="tile-sub">Multi-agent systems and orchestration engines</span><span class="tile-count">26 repositories</span>