phanerozoic
/

threshold-xor-mag7

threshold_network

threshold-logic

Model card Files Files and versions

threshold-xor-mag7

13.7 kB

Ctrl+K

Ctrl+K

1 contributor

History: 2 commits

CharlesCNorton

Replace optimality_proof.v with xor.v - exact enumeration

a5873bd 4 months ago

README.md

3.49 kB
Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 4 months ago
config.json

975 Bytes
Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 4 months ago
model.py

3.1 kB
Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 4 months ago
solution1.safetensors

476 Bytes
Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 4 months ago
solution2.safetensors

476 Bytes
Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 4 months ago
solution3.safetensors

476 Bytes
Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 4 months ago
solution4.safetensors

476 Bytes
Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 4 months ago
solution5.safetensors

476 Bytes
Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 4 months ago
solution6.safetensors

476 Bytes
Initial commit: 6 magnitude-7 XOR solutions with Coq optimality proof 4 months ago
xor.v

3.32 kB
Replace optimality_proof.v with xor.v - exact enumeration 4 months ago