Aspman, Johannes

2 publications

ICLRW 2025 Piecewise Polynomial Regression of Tame Functions via Integer Programming Gilles Bareilles, Johannes Aspman, Jiří Němeček, Jakub Marecek

AAAI 2024 Taming Binarized Neural Networks and Mixed-Integer Programs Johannes Aspman, Georgios Korpas, Jakub Marecek