| { | |
| "model_type": "threshold_network", | |
| "task": "mod5_classification", | |
| "architecture": "8 -> 9 -> 4 -> 5", | |
| "input_size": 8, | |
| "hidden1_size": 9, | |
| "hidden2_size": 4, | |
| "output_size": 5, | |
| "num_parameters": 146, | |
| "num_neurons": 18, | |
| "activation": "heaviside", | |
| "weight_constraints": "integer", | |
| "verification": { | |
| "method": "coq_proof", | |
| "exhaustive": true, | |
| "constructive": true, | |
| "algebraic": true, | |
| "axiom_free": true | |
| }, | |
| "accuracy": { | |
| "all_inputs": "256/256", | |
| "percentage": 100.0 | |
| }, | |
| "algebraic_insight": "Weights (1,1,1,1,-4) on thermometer encoding produce cumsum = HW mod 5", | |
| "github": "https://github.com/CharlesCNorton/mod5-verified", | |
| "related": { | |
| "mod3_model": "https://huggingface.co/phanerozoic/tiny-mod3-prover", | |
| "parity_model": "https://huggingface.co/phanerozoic/tiny-parity-prover" | |
| } | |
| } | |