Sparse Polynomial Optimisation for Neural Network Verification

Understand

The prevalence of neural networks in society is expanding at an increasing rate.

• It is becoming clear that providing robust guarantees on systems that use neural networks is very important, especially in safety-critical applications.
• A trained neural network's sensitivity to adversarial attacks is one of its greatest shortcomings.
• To provide robust guarantees, one popular method that has seen success is to bound the activation functions using equality and inequality constraints.