Automatic Perturbation Analysis for Scalable Certified Robustness and Beyond - Xu, Kaidi; Shi, Zhouxing; Zhang, Huan; Wang, Yihan; Chang, Kai-Wei; Huang, Minlie; Kailkhura, Bhavya; Lin, Xue; Hsieh, Cho-Jui (Advances in Neural Information Processing Systems, 2020)