Certified Defenses against Adversarial Examples
Safety Verification of Deep Neural Networks