Upload README.md with huggingface_hub

README.md

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