Binarized Neural Networks

On Integer Programming for the Binarized Neural Network Verification Problem

  • Woojin Kim
  • James R. Luedtke
    • Categories Integer Programming Tags , ,

    Binarized neural networks (BNNs) are feedforward neural networks with binary weights and activation functions. In the context of using a BNN for classification, the verification problem seeks to determine whether a small perturbation of a given input can lead it to be misclassified by the BNN, and the robustness of the BNN can be measured … Read more

    Efficient and Robust Mixed-Integer Optimization Methods for Training Binarized Deep Neural Networks

  • Jannis Kurtz
  • Bubacarr Bah
    • Categories Applications - OR and Management Sciences, Integer Programming, Robust Optimization Tags ,

    Compared to classical deep neural networks its binarized versions can be useful for applications on resource-limited devices due to their reduction in memory consumption and computational demands. In this work we study deep neural networks with binary activation functions and continuous or integer weights (BDNN). We show that the BDNN can be reformulated as a … Read more