Upload README.md with huggingface_hub

README.md

@@ -8,7 +8,7 @@ tags:
 - minority
 ---
 
-# tiny-Minority-prover
+# tiny-Minority-verified
 
 Formally verified minority gate for 8-bit inputs. Single threshold neuron computing minority function with 100% accuracy.
 
@@ -95,9 +95,9 @@ Input with k true bits produces weighted sum: -k + 3
 
 ```bibtex
 @software{tiny_minority_prover_2025,
-  title={tiny-Minority-prover: Formally Verified Minority Gate},
+  title={tiny-Minority-verified: Formally Verified Minority Gate},
   author={Norton, Charles},
-  url={https://huggingface.co/phanerozoic/tiny-Minority-prover},
+  url={https://huggingface.co/phanerozoic/tiny-Minority-verified},
   year={2025}
 }
 ```