phanerozoic
/

tiny-Majority-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-Majority-verified

Commit History

Upload README.md with huggingface_hub

d6d10c0
verified

phanerozoic commited on about 10 hours ago

Upload README.md with huggingface_hub

139d612
verified

phanerozoic commited on about 11 hours ago

Upload README.md with huggingface_hub

856dbbe
verified

phanerozoic commited on about 11 hours ago

Upload majority.safetensors with huggingface_hub

c5012bc
verified

phanerozoic commited on about 11 hours ago

initial commit

f93cf96
verified

phanerozoic commited on about 11 hours ago