Boosting robustness certification of neural networks

Keyphrases

• Neural Network 100%
• Robustness Certification 100%
• Feedforward Neural Network 50%
• Mixed Integer Linear Programming 50%
• Verifier 50%
• Convolutional Neural Network 50%
• Under-approximation 50%
• Adversarial Perturbation 50%
• Piecewise Linear Activation Functions 50%

Computer Science

• Neural Network 100%
• piecewise linear 50%
• Mixed-Integer Linear Programming 50%
• Activation Function 50%
• Convolutional Neural Network 50%
• Feedforward Neural Network 50%

Chemical Engineering

• Neural Network 100%