phanerozoic
/

tiny-mod11-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod11-verified

Commit History

Upload README.md with huggingface_hub

a379ee1
verified

phanerozoic commited on 1 day ago

Upload mod11.safetensors with huggingface_hub

1380b37
verified

phanerozoic commited on 1 day ago

initial commit

6b21232
verified

phanerozoic commited on 1 day ago