Hugging Face's logo

phanerozoic
/
tiny-parity-prover

Safetensors
PyTorch
threshold_network
formal-verification
coq
parity
threshold-network
ternary-weights
binary-classification
neuromorphic
Model card Files
xet
Community
tiny-parity-prover / README.md

Commit History

Upload README.md with huggingface_hub
914753d
verified

phanerozoic commited on

Add pruned variant documentation
560feb3
verified

phanerozoic commited on

Upload folder using huggingface_hub
156dd54
verified

phanerozoic commited on