@misc{indiciae0d4303a8bb0d,
  title = {Taming Binarized Neural Networks and Mixed-Integer Programs},
  author = {Johannes Aspman and Georgios Korpas and Jakub Marecek},
  year = {2023},
  doi = {10.1609/aaai.v38i10.28968},
  url = {https://arxiv.org/abs/2310.04469},
  note = {Source identifier: 2310.04469}
}