Verifying Properties of Binarized Deep Neural Networks | Read Paper on Bytez