Are Safety Guarantees in Neural Networks Safe? How to Compute Trustworthy Robustness Certifications

Merkouris Papamichail, Konstantinos Varsos, Giorgos Flouris +1

A primary challenge in AI safety is the existence of adversarial examples -- slightly distorted inputs that cause a neural network (NN) to misclassify. To mitigate this problem, re…