Hugging Face
Models
Datasets
Spaces
Buckets
new
Docs
Enterprise
Pricing
Website
Tasks
HuggingChat
Collections
Languages
Organizations
Community
Blog
Posts
Daily Papers
Hardware
Learn
Discord
Forum
GitHub
Solutions
Team & Enterprise
Hugging Face PRO
Enterprise Support
Inference Providers
Inference Endpoints
Storage Buckets
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
Copy to bucket
new
main
threshold-mux-mag7
15.3 kB
Ctrl+K
Ctrl+K
2 contributors
History:
3 commits
CharlesCNorton
Replace optimality_proof.v with mux.v - exact enumeration
01a8320
6 months ago
.gitattributes
Safe
1.52 kB
initial commit
7 months ago
README.md
Safe
3.06 kB
Minimum-magnitude MUX circuit (magnitude 7, proven optimal)
7 months ago
config.json
Safe
916 Bytes
Minimum-magnitude MUX circuit (magnitude 7, proven optimal)
7 months ago
create_safetensors.py
Safe
1.94 kB
Minimum-magnitude MUX circuit (magnitude 7, proven optimal)
7 months ago
model.py
Safe
2.71 kB
Minimum-magnitude MUX circuit (magnitude 7, proven optimal)
7 months ago
mux.v
Safe
3.9 kB
Replace optimality_proof.v with mux.v - exact enumeration
6 months ago
solution1.safetensors
Safe
324 Bytes
xet
Replace optimality_proof.v with mux.v - exact enumeration
6 months ago
solution2.safetensors
Safe
324 Bytes
xet
Replace optimality_proof.v with mux.v - exact enumeration
6 months ago
solution3.safetensors
324 Bytes
xet
Replace optimality_proof.v with mux.v - exact enumeration
6 months ago
solution4.safetensors
Safe
324 Bytes
xet
Replace optimality_proof.v with mux.v - exact enumeration
6 months ago
