Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
/
tiny-3OutOf8-verified
like
0
formal-verification
coq
threshold-logic
neuromorphic
License:
mit
Model card
Files
Files and versions
xet
Community
main
tiny-3OutOf8-verified
3.81 kB
1 contributor
History:
5 commits
phanerozoic
Upload README.md with huggingface_hub
d926d23
verified
3 days ago
.gitattributes
1.52 kB
initial commit
3 days ago
README.md
2.13 kB
Upload README.md with huggingface_hub
3 days ago
threeoutofeight.safetensors
164 Bytes
xet
Upload threeoutofeight.safetensors with huggingface_hub
3 days ago
