phanerozoic
/

tiny-XNOR-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-XNOR-verified

Commit History

Upload README.md with huggingface_hub

a33835b
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

5110eb0
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

61184cc
verified

phanerozoic commited on about 13 hours ago

Upload xnor.safetensors with huggingface_hub

8f0e60a
verified

phanerozoic commited on about 13 hours ago

initial commit

7464f18
verified

phanerozoic commited on about 13 hours ago