Upload README.md with huggingface_hub

README.md

@@ -7,7 +7,7 @@ tags:
 - neuromorphic
 ---
 
-# tiny-OR-prover
+# tiny-OR-verified
 
 Formally verified OR gate. Single threshold neuron computing disjunction with 100% accuracy.
 
@@ -84,9 +84,9 @@ Requires at least one input to reach threshold.
 
 ```bibtex
 @software{tiny_or_prover_2025,
-  title={tiny-OR-prover: Formally Verified OR Gate},
+  title={tiny-OR-verified: Formally Verified OR Gate},
   author={Norton, Charles},
-  url={https://huggingface.co/phanerozoic/tiny-OR-prover},
+  url={https://huggingface.co/phanerozoic/tiny-OR-verified},
   year={2025}
 }
 ```