phanerozoic
/

tiny-NAND-verified

formal-verification

threshold-logic

functionally-complete

Model card Files Files and versions

tiny-NAND-verified

Commit History

Upload README.md with huggingface_hub

1243e8d
verified

phanerozoic commited on about 23 hours ago

Upload README.md with huggingface_hub

0af5794
verified

phanerozoic commited on about 24 hours ago

Upload README.md with huggingface_hub

757c9db
verified

phanerozoic commited on 1 day ago

Upload nand.safetensors with huggingface_hub

4ee55ed
verified

phanerozoic commited on 1 day ago

initial commit

a6835d4
verified

phanerozoic commited on 1 day ago