Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
/
tiny-parity-prover
like
0
Safetensors
PyTorch
threshold_network
formal-verification
coq
parity
threshold-network
ternary-weights
binary-classification
neuromorphic
License:
mit
Model card
Files
Files and versions
xet
Community
main
tiny-parity-prover
/
pruned
5.02 kB
1 contributor
History:
4 commits
phanerozoic
Add pruned model README
f929418
verified
3 days ago
README.md
Safe
915 Bytes
Add pruned model README
3 days ago
config.json
Safe
283 Bytes
Add pruned model config
3 days ago
model.py
Safe
2.84 kB
Add pruned model class
3 days ago
model.safetensors
980 Bytes
xet
Add pruned model weights
3 days ago