1-bit greater-than-or-equal comparator, magnitude 2

README.md

@@ -0,0 +1,64 @@
+---
+license: mit
+tags:
+- pytorch
+- safetensors
+- threshold-logic
+- neuromorphic
+---
+
+# threshold-greaterthanorequal
+
+1-bit greater-than-or-equal comparator. Outputs 1 when a >= b.
+
+## Function
+
+gte(a, b) = 1 if a >= b, else 0
+
+Equivalent to: a OR NOT(b) (reverse implication)
+
+## Truth Table
+
+| a | b | a >= b |
+|---|---|--------|
+| 0 | 0 | 1 |
+| 0 | 1 | 0 |
+| 1 | 0 | 1 |
+| 1 | 1 | 1 |
+
+## Architecture
+
+Single neuron: weights [1, -1], bias 0
+
+Fires when: a - b >= 0, i.e., a >= b
+
+## Parameters
+
+| | |
+|---|---|
+| Inputs | 2 |
+| Outputs | 1 |
+| Neurons | 1 |
+| Layers | 1 |
+| Parameters | 3 |
+| Magnitude | 2 |
+
+## Usage
+
+```python
+from safetensors.torch import load_file
+import torch
+
+w = load_file('model.safetensors')
+
+def gte(a, b):
+    inp = torch.tensor([float(a), float(b)])
+    return int((inp @ w['neuron.weight'].T + w['neuron.bias'] >= 0).item())
+
+print(gte(1, 0))  # 1
+print(gte(0, 1))  # 0
+```
+
+## License
+
+MIT

config.json

@@ -0,0 +1,9 @@
+{
+  "name": "threshold-greaterthanorequal",
+  "description": "1-bit greater-than-or-equal comparator",
+  "inputs": 2,
+  "outputs": 1,
+  "neurons": 1,
+  "layers": 1,
+  "parameters": 3
+}

create_safetensors.py

@@ -0,0 +1,26 @@
+import torch
+from safetensors.torch import save_file
+
+# a >= b is equivalent to a - b >= 0
+weights = {
+    'neuron.weight': torch.tensor([[1.0, -1.0]], dtype=torch.float32),
+    'neuron.bias': torch.tensor([0.0], dtype=torch.float32)
+}
+save_file(weights, 'model.safetensors')
+
+def gte(a, b):
+    inp = torch.tensor([float(a), float(b)])
+    return int((inp @ weights['neuron.weight'].T + weights['neuron.bias'] >= 0).item())
+
+print("Verifying greaterthanorequal...")
+errors = 0
+for a in [0, 1]:
+    for b in [0, 1]:
+        result = gte(a, b)
+        expected = 1 if a >= b else 0
+        if result != expected:
+            errors += 1
+            print(f"ERROR: {a} >= {b} -> {result}, expected {expected}")
+if errors == 0:
+    print("All 4 test cases passed!")
+print(f"Magnitude: {sum(t.abs().sum().item() for t in weights.values()):.0f}")

model.py

@@ -0,0 +1,16 @@
+import torch
+from safetensors.torch import load_file
+
+def load_model(path='model.safetensors'):
+    return load_file(path)
+
+def gte(a, b, weights):
+    inp = torch.tensor([float(a), float(b)])
+    return int((inp @ weights['neuron.weight'].T + weights['neuron.bias'] >= 0).item())
+
+if __name__ == '__main__':
+    w = load_model()
+    print('greaterthanorequal truth table:')
+    for a in [0, 1]:
+        for b in [0, 1]:
+            print(f'  {a} >= {b} -> {gte(a, b, w)}')