Certified Robustness

Certified Robustness in High Dimensions
The overview of certified robustness problems in high dimensions.
Certified Robustness for modern NN
The overview of certified robustness problems.