phanerozoic
/

tiny-mod9-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod9-verified

Commit History

Upload README.md with huggingface_hub

4ac0d04
verified

phanerozoic commited on 1 day ago

Upload mod9.safetensors with huggingface_hub

7de2881
verified

phanerozoic commited on 1 day ago

initial commit

4a6623e
verified

phanerozoic commited on 1 day ago