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