Aspman, J.; Korpas, G.; Marecek, J. Taming Binarized Neural Networks and Mixed-Integer Programs. AAAI 2024, 38, 10935-10943.