Aspman, J. et al. 2024. Taming Binarized Neural Networks and Mixed-Integer Programs. Proceedings of the AAAI Conference on Artificial Intelligence. 38, 10 (Mar. 2024), 10935–10943. DOI:https://doi.org/10.1609/aaai.v38i10.28968.