phanerozoic
/

tiny-mod12-verified

formal-verification

threshold-logic

modular-arithmetic

Model card Files Files and versions

tiny-mod12-verified / README.md

Commit History

Upload README.md with huggingface_hub

2a3fb50
verified

phanerozoic commited on 1 day ago