A convex relaxation barrier to tight robustness verification of neural networks

Keyphrases

• Tight 100%
• Verifier 100%
• Convex Relaxation 100%
• Neural Network Verification 100%
• Robustness Verification 100%
• Exact Solutions 50%
• Neural Network 25%
• Large Classes 25%
• Nonlinearity 25%
• Exponential Time 25%
• Possible Causes 25%
• Training Model 25%
• Model Code 25%
• Large-scale Experiments 25%
• Verification Algorithm 25%
• Adversarial Attack 25%
• Dual-view 25%
• Relaxed Problem 25%
• MNIST 25%
• CIFAR10 Dataset 25%
• ReLU Networks 25%

Computer Science

• Neural Network 100%
• Convex Relaxation 100%
• Future Direction 25%
• Adversarial Machine Learning 25%
• Trained Network 25%
• Relaxed Problem 25%