phanerozoic
/

tiny-mod10-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod10-verified

Commit History

Upload README.md with huggingface_hub

1e84f0c
verified

phanerozoic commited on about 23 hours ago

Upload mod10.safetensors with huggingface_hub

ad466e6
verified

phanerozoic commited on about 23 hours ago

initial commit

cb32bbf
verified

phanerozoic commited on about 23 hours ago