Verifying Properties of Binarized Deep Neural Networks.

Nina Narodytska, Shiva Prasad Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, Toby Walsh

Browse the full AAAI paper archive.