config.json

{
  "model_type": "threshold_network",
  "task": "mod4_classification",
  "architecture": "8 -> 1",
  "input_size": 8,
  "output_size": 1,
  "num_neurons": 1,
  "num_parameters": 9,
  "modulus": 4,
  "activation": "heaviside",
  "weight_constraints": "integer",
  "weight_pattern": "[1, 1, 1, -3, 1, 1, 1, -3]",
  "verification": {
    "method": "coq_proof",
    "exhaustive": true,
    "inputs_tested": 256
  },
  "accuracy": {
    "all_inputs": "256/256",
    "percentage": 100.0
  },
  "github": "https://github.com/CharlesCNorton/coq-circuits"
}