← authors · overview

• Evaluating the Robustness of Neural Networks: An Extreme Value Theory Approach
  2018
• Towards Fast Computation of Certified Robustness for ReLU Networks
  2018
• Efficient Neural Network Robustness Certification with General Activation Functions
  2018
• CNN-Cert: An Efficient Framework for Certifying Robustness of Convolutional Neural Networks
  2018
• PROVEN: Certifying Robustness of Neural Networks with a Probabilistic Approach
  2018
• POPQORN: Quantifying Robustness of Recurrent Neural Networks
  2019
• Topology Attack and Defense for Graph Neural Networks: An Optimization Perspective
  2019
• Robust Deep Reinforcement Learning through Adversarial Loss
  2020