University College London, UK; DeepMind, London, UK; Carnegie Mellon University, USA; Massachusetts Institute of Technology, USA
verification of machine learning;certified robustness of neural networks
A FRAMEWORK FOR ROBUSTNESS CERTIFICATION OF SMOOTHED CLASSIFIERS USING F-DIVERGENCES