Verification of Binarized Neural Networks via Inter-Neuron Factoring | Read Paper on Bytez