| { | |
| "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" | |
| } | |