phanerozoic
/

tiny-5OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-5OutOf8-verified

3.86 kB

1 contributor

History: 5 commits

phanerozoic's picture

Upload README.md with huggingface_hub

ee5608e verified about 9 hours ago

.gitattributes
1.52 kB

initial commit about 9 hours ago
README.md
2.18 kB

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

Upload fiveoutofeight.safetensors with huggingface_hub about 9 hours ago