Narodytska, N.; Kasiviswanathan, S.; Ryzhyk, L.; Sagiv, M.; Walsh, T. Verifying Properties of Binarized Deep Neural Networks. AAAI 2018, 32.