Narodytska, Nina, Shiva Kasiviswanathan, Leonid Ryzhyk, Mooly Sagiv, and Toby Walsh. “Verifying Properties of Binarized Deep Neural Networks”. Proceedings of the AAAI Conference on Artificial Intelligence 32, no. 1 (April 26, 2018). Accessed July 13, 2024. https://ojs.aaai.org/index.php/AAAI/article/view/12206.