2026
Parameterized Hardness of Zonotope Containment and Neural Network Verification
ICLR 2026poster
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 by such networks. Recently, there has been increasing interest in the (parameterized) computational complexity of deter…