Hugging Face's logo Hugging Face
  • Models
  • Datasets
  • Spaces
  • Docs
  • Enterprise
  • Pricing

  • Log In
  • Sign Up

phanerozoic
/
tiny-parity-prover

Safetensors
PyTorch
threshold_network
formal-verification
coq
parity
threshold-network
ternary-weights
binary-classification
neuromorphic
Model card Files Files and versions
xet
Community
tiny-parity-prover / pruned
5.02 kB
  • 1 contributor
History: 4 commits
phanerozoic's picture
phanerozoic
Add pruned model README
f929418 verified 3 days ago
  • README.md
    915 Bytes
    Add pruned model README 3 days ago
  • config.json
    283 Bytes
    Add pruned model config 3 days ago
  • model.py
    2.84 kB
    Add pruned model class 3 days ago
  • model.safetensors
    980 Bytes
    xet
    Add pruned model weights 3 days ago