phanerozoic
/

tiny-3OutOf8-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-3OutOf8-verified

Commit History

Upload README.md with huggingface_hub

d926d23
verified

phanerozoic commited on about 10 hours ago

Upload README.md with huggingface_hub

921c5ca
verified

phanerozoic commited on about 10 hours ago

Upload README.md with huggingface_hub

60ef0a7
verified

phanerozoic commited on about 11 hours ago

Upload threeoutofeight.safetensors with huggingface_hub

e3121ba
verified

phanerozoic commited on about 11 hours ago

initial commit

bb1fb25
verified

phanerozoic commited on about 11 hours ago