At least 4 of 5 threshold circuit, magnitude 9

README.md

@@ -0,0 +1,53 @@
+---
+license: mit
+tags:
+- pytorch
+- safetensors
+- threshold-logic
+- neuromorphic
+---
+
+# threshold-4outof5
+
+At least 4 of 5 inputs high.
+
+## Function
+
+4outof5(a, b, c, d, e) = 1 if (a + b + c + d + e) >= 4, else 0
+
+## Architecture
+
+Single neuron: weights [1, 1, 1, 1, 1], bias -4
+
+Fires when: sum >= 4
+
+## Parameters
+
+| | |
+|---|---|
+| Inputs | 5 |
+| Outputs | 1 |
+| Neurons | 1 |
+| Layers | 1 |
+| Parameters | 6 |
+| Magnitude | 9 |
+
+## Usage
+
+```python
+from safetensors.torch import load_file
+import torch
+
+w = load_file('model.safetensors')
+
+def atleast4of5(a, b, c, d, e):
+    inp = torch.tensor([float(a), float(b), float(c), float(d), float(e)])
+    return int((inp @ w['neuron.weight'].T + w['neuron.bias'] >= 0).item())
+
+print(atleast4of5(0, 0, 1, 1, 1))  # 0 (sum=3)
+print(atleast4of5(0, 1, 1, 1, 1))  # 1 (sum=4)
+```
+
+## License
+
+MIT

config.json

@@ -0,0 +1,9 @@
+{
+  "name": "threshold-4outof5",
+  "description": "At least 4 of 5 inputs high",
+  "inputs": 5,
+  "outputs": 1,
+  "neurons": 1,
+  "layers": 1,
+  "parameters": 6
+}

create_safetensors.py

@@ -0,0 +1,24 @@
+import torch
+from safetensors.torch import save_file
+
+weights = {
+    'neuron.weight': torch.tensor([[1.0, 1.0, 1.0, 1.0, 1.0]], dtype=torch.float32),
+    'neuron.bias': torch.tensor([-4.0], dtype=torch.float32)
+}
+save_file(weights, 'model.safetensors')
+
+def test(a, b, c, d, e):
+    inp = torch.tensor([float(a), float(b), float(c), float(d), float(e)])
+    return int((inp @ weights['neuron.weight'].T + weights['neuron.bias'] >= 0).item())
+
+print("Verifying 4outof5...")
+errors = 0
+for i in range(32):
+    a, b, c, d, e = (i >> 4) & 1, (i >> 3) & 1, (i >> 2) & 1, (i >> 1) & 1, i & 1
+    result = test(a, b, c, d, e)
+    expected = 1 if (a + b + c + d + e) >= 4 else 0
+    if result != expected:
+        errors += 1
+if errors == 0:
+    print("All 32 test cases passed!")
+print(f"Magnitude: {sum(t.abs().sum().item() for t in weights.values()):.0f}")

model.py

@@ -0,0 +1,15 @@
+import torch
+from safetensors.torch import load_file
+
+def load_model(path='model.safetensors'):
+    return load_file(path)
+
+def atleast4of5(a, b, c, d, e, weights):
+    inp = torch.tensor([float(a), float(b), float(c), float(d), float(e)])
+    return int((inp @ weights['neuron.weight'].T + weights['neuron.bias'] >= 0).item())
+
+if __name__ == '__main__':
+    w = load_model()
+    print('4outof5 sample outputs:')
+    print(f'  00111 -> {atleast4of5(0,0,1,1,1,w)}')
+    print(f'  01111 -> {atleast4of5(0,1,1,1,1,w)}')