phanerozoic
/

tiny-OR-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-OR-verified

Commit History

Upload README.md with huggingface_hub

3832fd8
verified

phanerozoic commited on about 13 hours ago

Upload README.md with huggingface_hub

6aca8e5
verified

phanerozoic commited on about 14 hours ago

Upload README.md with huggingface_hub

1cabf07
verified

phanerozoic commited on about 15 hours ago

Upload or.safetensors with huggingface_hub

dd62549
verified

phanerozoic commited on about 15 hours ago

initial commit

1e1621a
verified

phanerozoic commited on about 15 hours ago