phanerozoic
/

tiny-mod6-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod6-verified

Commit History

Upload README.md with huggingface_hub

ab016fb
verified

phanerozoic commited on about 19 hours ago

Upload mod6.safetensors with huggingface_hub

ca2b68e
verified

phanerozoic commited on about 19 hours ago

initial commit

b8f3786
verified

phanerozoic commited on about 19 hours ago