Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Deep Neural Networks as 0-1 Mixed Integer Linear Programs: A Feasibility
  Study   Deep Neural Networks (DNNs) are very popular these days, and are the subject
of a very intense investigation. A DNN is made by layers of internal units (or
neurons), each of which computes an affine combination of the output of the
units in the previous layer, applies a nonlinear operator, and outputs the
corresponding value (also known as activation). A commonly-used nonlinear
operator is the so-called rectified linear unit (ReLU), whose output is just
the maximum between its input value and zero. In this (and other similar cases
like max pooling, where the max operation involves more than one input value),
one can model the DNN as a 0-1 Mixed Integer Linear Program (0-1 MILP) where
the continuous variables correspond to the output values of each unit, and a
binary variable is associated with each ReLU to model its yes/no nature. In
this paper we discuss the peculiarity of this kind of 0-1 MILP models, and
describe an effective bound-tightening technique intended to ease its solution.
We also present possible applications of the 0-1 MILP model arising in feature
visualization and in the construction of adversarial examples. Preliminary
computational results are reported, aimed at investigating (on small DNNs) the
computational performance of a state-of-the-art MILP solver when applied to a
known test case, namely, hand-written digit recognition.

21
The categories of this paper are: adap-org
18
The categories of this paper are: econ
27
The categories of this paper are: comp-gas
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
25
The categories of this paper are: patt-sol
4
The categories of this paper are: cond-mat
16
The categories of this paper are: stat
11
The categories of this paper are: hep-lat
20
The categories of this paper are: acc-phys
17
The categories of this paper are: q-fin
23
The categories of this paper are: solv-int
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
29
The categories of this paper are: funct-an
22
The categories of this paper are: chao-dyn