SoK: Certified Robustness for Deep Neural Networks

Open in new window