phanerozoic
/

tiny-4OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-4OutOf8-verified

Commit History

Upload README.md with huggingface_hub

8e9e25a
verified

phanerozoic commited on about 10 hours ago

Upload README.md with huggingface_hub

00ecb63
verified

phanerozoic commited on about 10 hours ago

Upload README.md with huggingface_hub

52e4a59
verified

phanerozoic commited on about 11 hours ago

Upload fouroutofeight.safetensors with huggingface_hub

a2c5f53
verified

phanerozoic commited on about 11 hours ago

initial commit

2241e26
verified

phanerozoic commited on about 11 hours ago