Parameterized Hardness of Zonotope Containment and Neural Network Verification

Vincent Froese, Moritz Grillo, Christoph Hertrich +1

Neural networks with ReLU activations are a widely used model in machine learning. It is thus important to have a profound understanding of the properties of the functions computed…