| { | |
| "model_type": "threshold_network", | |
| "task": "or4_gate", | |
| "architecture": "4 -> 1", | |
| "input_size": 4, | |
| "output_size": 1, | |
| "num_neurons": 1, | |
| "num_parameters": 5, | |
| "activation": "heaviside", | |
| "weight_constraints": "integer", | |
| "verification": { | |
| "method": "exhaustive", | |
| "inputs_tested": 16 | |
| }, | |
| "accuracy": { | |
| "all_inputs": "16/16", | |
| "percentage": 100.0 | |
| } | |
| } | |