phanerozoic
/

tiny-mod4-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod4-verified

Commit History

Upload README.md with huggingface_hub

54f89f0
verified

phanerozoic commited on about 13 hours ago

Upload README.md with huggingface_hub

4a1ef0b
verified

phanerozoic commited on about 13 hours ago

Upload mod4.safetensors with huggingface_hub

307c847
verified

phanerozoic commited on about 13 hours ago

initial commit

d975f55
verified

phanerozoic commited on about 13 hours ago