phanerozoic
/

tiny-2OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-2OutOf8-verified

Commit History

Upload README.md with huggingface_hub

dee99c2
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

e062d6b
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

250857f
verified

phanerozoic commited on about 12 hours ago

Upload twooutofeight.safetensors with huggingface_hub

274675e
verified

phanerozoic commited on about 12 hours ago

initial commit

3e45bd8
verified

phanerozoic commited on about 12 hours ago