phanerozoic
/

tiny-NOR-verified

formal-verification

threshold-logic

functionally-complete

Model card Files Files and versions

tiny-NOR-verified

Commit History

Upload README.md with huggingface_hub

41c2fe3
verified

phanerozoic commited on about 13 hours ago

Upload README.md with huggingface_hub

f0082e6
verified

phanerozoic commited on about 14 hours ago

Upload README.md with huggingface_hub

5f397e5
verified

phanerozoic commited on about 15 hours ago

Upload nor.safetensors with huggingface_hub

5ec0e6b
verified

phanerozoic commited on about 15 hours ago

initial commit

a798a84
verified

phanerozoic commited on about 15 hours ago