{
  "model_type": "threshold_network",
  "task": "ripple_carry_2bit_adder",
  "architecture": "5 -> (FA0 + FA1)",
  "input_size": 5,
  "inputs": ["a0", "a1", "b0", "b1", "cin"],
  "outputs": ["s0", "s1", "cout"],
  "num_neurons": 18,
  "num_parameters": 42,
  "depth": 8,
  "activation": "heaviside",
  "weight_constraints": "integer",
  "verification": {
    "method": "coq_proof",
    "exhaustive": true,
    "inputs_tested": 32
  },
  "accuracy": {
    "all_inputs": "32/32",
    "percentage": 100.0
  },
  "github": "https://github.com/CharlesCNorton/coq-circuits"
}