Upload README.md with huggingface_hub

README.md

@@ -8,7 +8,7 @@ tags:
 - multi-layer
 ---
 
-# tiny-XNOR-prover
+# tiny-XNOR-verified
 
 Formally verified XNOR gate. Two-layer threshold network computing equivalence with 100% accuracy.
 
@@ -97,9 +97,9 @@ XNOR(x,y) = OR(NOR(x,y), AND(x,y))
 
 ```bibtex
 @software{tiny_xnor_prover_2025,
-  title={tiny-XNOR-prover: Formally Verified XNOR Gate},
+  title={tiny-XNOR-verified: Formally Verified XNOR Gate},
   author={Norton, Charles},
-  url={https://huggingface.co/phanerozoic/tiny-XNOR-prover},
+  url={https://huggingface.co/phanerozoic/tiny-XNOR-verified},
   year={2025}
 }
 ```