On Integer Programming for the Binarized Neural Network Verification Problem

• Woojin Kim

  Woojin Kim

  [email protected]

  https://orcid.org/0009-0008-9014-9082

  Department of Mathematics, University of Wisconsin–Madison, Madison, Wisconsin 53706

  Search for more papers by this author

  ,
• James R. Luedtke

  Corresponding Author

  James R. Luedtke

  [email protected]

  https://orcid.org/0000-0001-9265-7728

  Department of Industrial and Systems Engineering, University of Wisconsin–Madison, Madison, Wisconsin 53706

  Search for more papers by this author