phanerozoic
/

tiny-AND-verified

formal-verification

threshold-logic

Model card Files Files and versions

tiny-AND-verified

Commit History

Upload README.md with huggingface_hub

9c13c5d
verified

phanerozoic commited on about 13 hours ago

Upload README.md with huggingface_hub

3cae6f4
verified

phanerozoic commited on about 14 hours ago

Upload README.md with huggingface_hub

f415cb6
verified

phanerozoic commited on about 15 hours ago

Upload and.safetensors with huggingface_hub

382b426
verified

phanerozoic commited on about 15 hours ago

initial commit

5ff7cf7
verified

phanerozoic commited on about 15 hours ago