Georgios Korpas

Taming Binarized Neural Networks and Mixed-Integer Programs

There has been a great deal of recent interest in binarized neural networks, especially because of their explainability. At the same time, automatic differentiation algorithms such as backpropagation fail for binarized neural networks, which limits their applicability. We show that binarized neural…