Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
/
tiny-mod3-verified
like
0
Safetensors
PyTorch
threshold_network
formal-verification
coq
mod3
modular-arithmetic
threshold-network
neuromorphic
License:
mit
Model card
Files
Files and versions
xet
Community
main
tiny-mod3-verified
/
README.md
Commit History
Update training section wording
0ff8da5
verified
phanerozoic
commited on
2 days ago
Upload README.md with huggingface_hub
4498680
verified
phanerozoic
commited on
2 days ago
Upload folder using huggingface_hub
7cfe40b
verified
phanerozoic
commited on
2 days ago