Taming Binarized Neural Networks and Mixed-Integer Programs.

Johannes Aspman, Georgios Korpas, Jakub Marecek

Browse the full AAAI paper archive.