phanerozoic
/

tiny-6OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-6OutOf8-verified

Commit History

Upload README.md with huggingface_hub

35e7af0
verified

phanerozoic commited on about 14 hours ago

Upload README.md with huggingface_hub

18d06be
verified

phanerozoic commited on about 15 hours ago

Upload README.md with huggingface_hub

3ad5645
verified

phanerozoic commited on about 15 hours ago

Upload sixoutofeight.safetensors with huggingface_hub

53d6dda
verified

phanerozoic commited on about 15 hours ago

initial commit

3d54d15
verified

phanerozoic commited on about 15 hours ago