Towards Better Understanding of Training Certifiably Robust Models against Adversarial Examples - Lee, Sungyoon; Lee, Woojin; Park, Jinseong; Lee, Jaewook (Advances in Neural Information Processing Systems, 2021)