Connecting Certified and Adversarial Training - Mao, Yuhao; Müller, Mark; Fischer, Marc; Vechev, Martin (Advances in Neural Information Processing Systems, 2023)