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
13.5 kB
1 contributor
History:
4 commits
phanerozoic
Update training section wording
0ff8da5
verified
2 days ago
.gitattributes
1.52 kB
initial commit
2 days ago
README.md
6.52 kB
Update training section wording
2 days ago
config.json
889 Bytes
Upload folder using huggingface_hub
2 days ago
model.py
3.64 kB
Upload folder using huggingface_hub
2 days ago
model.safetensors
864 Bytes
xet
Upload folder using huggingface_hub
2 days ago
tmpclaude-9499-cwd
20 Bytes
Upload folder using huggingface_hub
2 days ago