Aspman, Johannes, Georgios Korpas, and Jakub Marecek. 2024. “Taming Binarized Neural Networks and Mixed-Integer Programs”. Proceedings of the AAAI Conference on Artificial Intelligence 38 (10):10935-43. https://doi.org/10.1609/aaai.v38i10.28968.