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