TY  - RPRT
TI  - Taming Binarized Neural Networks and Mixed-Integer Programs
AU  - Johannes Aspman
AU  - Georgios Korpas
AU  - Jakub Marecek
PY  - 2023
DO  - 10.1609/aaai.v38i10.28968
UR  - https://arxiv.org/abs/2310.04469
ID  - 2310.04469
ER  -