Upload README.md with huggingface_hub

README.md

@@ -7,7 +7,7 @@ tags:
 - neuromorphic
 ---
 
-# tiny-1OutOf8-prover
+# tiny-1OutOf8-verified
 
 Formally verified 1-out-of-8 threshold gate. Single threshold neuron with 100% accuracy.
 
@@ -78,9 +78,9 @@ Input with h true bits (Hamming weight h):
 
 ```bibtex
 @software{tiny_1outof8_prover_2025,
-  title={tiny-1OutOf8-prover: Formally Verified 1-out-of-8 threshold gate},
+  title={tiny-1OutOf8-verified: Formally Verified 1-out-of-8 threshold gate},
   author={Norton, Charles},
-  url={https://huggingface.co/phanerozoic/tiny-1OutOf8-prover},
+  url={https://huggingface.co/phanerozoic/tiny-1OutOf8-verified},
   year={2025}
 }
 ```