phanerozoic
/

tiny-1OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-1OutOf8-verified

3.72 kB

1 contributor

History: 5 commits

phanerozoic's picture

Upload README.md with huggingface_hub

4c1e4f3 verified about 9 hours ago

.gitattributes
1.52 kB

initial commit about 9 hours ago
README.md
2.04 kB

Upload README.md with huggingface_hub about 9 hours ago
oneoutofeight.safetensors
164 Bytes
xet

Upload oneoutofeight.safetensors with huggingface_hub about 9 hours ago