Provable Robustness of ReLU networks via Maximization of Linear Regions.

Francesco Croce Maksym Andriushchenko Matthias Hein

Published in: AISTATS (2019)

Keyphrases

piecewise constant
image regions
image features
social networks
sensor networks
network structure
region of interest
high robustness
image sequences
np hard
closed form
computer networks
image pixels
linear model
network design
arbitrary shape