Parameterized Hardness of Zonotope Containment and Neural Network Verification
DGX agentarXiv:2509.22849v2 Announce Type: replace-cross Abstract: Neural networks with ReLU activations are a widely used model in machine learning. It is thus important to have a profound understanding of th