Hugging Face
Models
Datasets
Spaces
Community
Docs
Enterprise
Pricing
Log In
Sign Up
phanerozoic
/
threshold-mux-mag7
like
0
PyTorch
Safetensors
threshold-logic
neuromorphic
coq-verified
optimal
License:
mit
Model card
Files
Files and versions
xet
Community
main
threshold-mux-mag7
15.3 kB
2 contributors
History:
3 commits
CharlesCNorton
Replace optimality_proof.v with mux.v - exact enumeration
01a8320
about 1 month ago
.gitattributes
1.52 kB
initial commit
about 1 month ago
README.md
3.06 kB
Minimum-magnitude MUX circuit (magnitude 7, proven optimal)
about 1 month ago
config.json
916 Bytes
Minimum-magnitude MUX circuit (magnitude 7, proven optimal)
about 1 month ago
create_safetensors.py
1.94 kB
Minimum-magnitude MUX circuit (magnitude 7, proven optimal)
about 1 month ago
model.py
2.71 kB
Minimum-magnitude MUX circuit (magnitude 7, proven optimal)
about 1 month ago
mux.v
3.9 kB
Replace optimality_proof.v with mux.v - exact enumeration
about 1 month ago
solution1.safetensors
324 Bytes
xet
Replace optimality_proof.v with mux.v - exact enumeration
about 1 month ago
solution2.safetensors
324 Bytes
xet
Replace optimality_proof.v with mux.v - exact enumeration
about 1 month ago
solution3.safetensors
324 Bytes
xet
Replace optimality_proof.v with mux.v - exact enumeration
about 1 month ago
solution4.safetensors
324 Bytes
xet
Replace optimality_proof.v with mux.v - exact enumeration
about 1 month ago