A Formally Verified Robustness Certifier for Neural Networks (Extended Version)

James Tobler, Hira Taqdees Syeda, Toby Murray

Neural networks are often susceptible to minor perturbations in input that cause them to misclassify. A recent solution to this problem is the use of globally-robust neural network…