phanerozoic
/

tiny-7OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-7OutOf8-verified

Commit History

Upload README.md with huggingface_hub

a1ae1e6
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

b6d3a75
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

e38a17f
verified

phanerozoic commited on about 12 hours ago

Upload sevenoutofeight.safetensors with huggingface_hub

a0ae7d0
verified

phanerozoic commited on about 12 hours ago

initial commit

684e37d
verified

phanerozoic commited on about 12 hours ago