phanerozoic
/

threshold-xor-mag7

threshold_network

threshold-logic

Model card Files Files and versions

threshold-xor-mag7

13.7 kB

1 contributor

History: 2 commits

CharlesCNorton

Replace optimality_proof.v with xor.v - exact enumeration

a5873bd 29 days ago

README.md

3.49 kB

Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 30 days ago
config.json

975 Bytes

Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 30 days ago
model.py

3.1 kB

Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 30 days ago
solution1.safetensors

476 Bytes

Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 30 days ago
solution2.safetensors

476 Bytes

Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 30 days ago
solution3.safetensors

476 Bytes

Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 30 days ago
solution4.safetensors

476 Bytes

Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 30 days ago
solution5.safetensors

476 Bytes

Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 30 days ago
solution6.safetensors

476 Bytes

Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 30 days ago
xor.v

3.32 kB

Replace optimality_proof.v with xor.v - exact enumeration 29 days ago