phanerozoic
/

tiny-5OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-5OutOf8-verified

Commit History

Upload README.md with huggingface_hub

ee5608e
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

795c251
verified

phanerozoic commited on about 12 hours ago

Upload README.md with huggingface_hub

72e1422
verified

phanerozoic commited on about 12 hours ago

Upload fiveoutofeight.safetensors with huggingface_hub

be5f97d
verified

phanerozoic commited on about 12 hours ago

initial commit

e3d8188
verified

phanerozoic commited on about 12 hours ago