Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Tightened Convex Relaxations for Neural Network Robustness Certification   In this paper, we consider the problem of certifying the robustness of neural
networks to perturbed and adversarial input data. Such certification is
imperative for the application of neural networks in safety-critical
decision-making and control systems. Certification techniques using convex
optimization have been proposed, but they often suffer from relaxation errors
that void the certificate. Our work exploits the structure of ReLU networks to
improve relaxation errors through a novel partition-based certification
procedure. The proposed method is proven to tighten existing linear programming
relaxations, and asymptotically achieves zero relaxation error as the partition
is made finer. We develop a finite partition that attains zero relaxation error
and use the result to derive a tractable partitioning scheme that minimizes the
worst-case relaxation error. Experiments using real data show that the
partitioning procedure is able to issue robustness certificates in cases where
prior methods fail. Consequently, partition-based certification procedures are
found to provide an intuitive, effective, and theoretically justified method
for tightening existing convex relaxation techniques.

33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
26
The categories of this paper are: bayes-an
14
The categories of this paper are: math-ph
17
The categories of this paper are: q-fin
31
The categories of this paper are: ao-sci
12
The categories of this paper are: nucl-th
36
The categories of this paper are: cmp-lg
37
The categories of this paper are: supr-con
6
The categories of this paper are: astro-ph
11
The categories of this paper are: hep-lat
9
The categories of this paper are: nlin
25
The categories of this paper are: patt-sol
30
The categories of this paper are: q-alg
34
The categories of this paper are: chem-ph
35
The categories of this paper are: mtrl-th