Tao Xie

SoK: Certified Robustness for Deep Neural Networks — Oakland 2023