phanerozoic
/

tiny-mod12-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod12-verified

Commit History

Upload README.md with huggingface_hub

2a3fb50
verified

phanerozoic commited on about 23 hours ago

Upload mod12.safetensors with huggingface_hub

b19b85d
verified

phanerozoic commited on about 23 hours ago

initial commit

0454cf7
verified

phanerozoic commited on about 23 hours ago