Taming Binarized Neural Networks and Mixed-Integer Programs0 PRE AI DOI:10.1609/aaai.v38i10.28968OriginalOriginal request for helpShareSaveAbstract En