Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Strong mixed-integer programming formulations for trained neural
  networks   We present strong mixed-integer programming (MIP) formulations for
high-dimensional piecewise linear functions that correspond to trained neural
networks. These formulations can be used for a number of important tasks, such
as verifying that an image classification network is robust to adversarial
inputs, or solving decision problems where the objective function is a machine
learning model. We present a generic framework, which may be of independent
interest, that provides a way to construct sharp or ideal formulations for the
maximum of d affine functions over arbitrary polyhedral input domains. We apply
this result to derive MIP formulations for a number of the most popular
nonlinear operations (e.g. ReLU and max pooling) that are strictly stronger
than other approaches from the literature. We corroborate this computationally,
showing that our formulations are able to offer substantial improvements in
solve time on verification tasks for image classification networks.

12
The categories of this paper are: nucl-th
14
The categories of this paper are: math-ph
1
The categories of this paper are: cs
11
The categories of this paper are: hep-lat
36
The categories of this paper are: cmp-lg
7
The categories of this paper are: hep-th
17
The categories of this paper are: q-fin
28
The categories of this paper are: alg-geom
19
The categories of this paper are: eess
3
The categories of this paper are: physics
5
The categories of this paper are: gr-qc
22
The categories of this paper are: chao-dyn
4
The categories of this paper are: cond-mat
32
The categories of this paper are: atom-ph
33
The categories of this paper are: plasm-ph
27
The categories of this paper are: comp-gas