Jakub Marecek

1
Papers
0
Total Citations

Papers (1)

Taming Binarized Neural Networks and Mixed-Integer Programs

AAAI 2024
0
citations