Parameterized Hardness of Zonotope Containment and Neural Network Verification
从参数化复杂度角度揭示了ReLU神经网络验证的困难性,为理解其计算极限提供新视角
arXiv:2509.22849v2 Announce Type: replace-cross Abstract: Neural networks with ReLU activations are a widely used model in machine learning. It is thu…