Robustness Guarantees for Adversarially Trained Neural Networks - Mianjy, Poorya; Arora, Raman (Advances in Neural Information Processing Systems, 2023)