On the Tightness of Semidefinite Relaxations for Certifying Robustness to Adversarial Examples - Zhang, Richard (Advances in Neural Information Processing Systems, 2020)