phanerozoic
/

tiny-AllOutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-AllOutOf8-verified

Commit History

Upload README.md with huggingface_hub

d6b2eab
verified

phanerozoic commited on about 21 hours ago

Upload README.md with huggingface_hub

ae611a9
verified

phanerozoic commited on about 21 hours ago

Upload README.md with huggingface_hub

18320f8
verified

phanerozoic commited on about 21 hours ago

Upload alloutofeight.safetensors with huggingface_hub

48ae683
verified

phanerozoic commited on about 21 hours ago

initial commit

23fdc4e
verified

phanerozoic commited on about 21 hours ago