Taming Binarized Neural Networks and Mixed-Integer Programs

Open in new window