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

  • Log In
  • Sign Up

phanerozoic
/
threshold-mux-mag7

PyTorch
Safetensors
threshold-logic
neuromorphic
coq-verified
optimal
Model card Files Files and versions
xet
Community
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