phanerozoic
/

tiny-1OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-1OutOf8-verified

Commit History

Upload README.md with huggingface_hub

4c1e4f3
verified

phanerozoic commited on about 14 hours ago

Upload README.md with huggingface_hub

802e0fb
verified

phanerozoic commited on about 15 hours ago

Upload README.md with huggingface_hub

1671ae0
verified

phanerozoic commited on about 15 hours ago

Upload oneoutofeight.safetensors with huggingface_hub

80fb666
verified

phanerozoic commited on about 15 hours ago

initial commit

4ef924c
verified

phanerozoic commited on about 15 hours ago