Unlocking Deterministic Robustness Certification on ImageNet - Hu, Kai; Zou, Andy; Wang, Zifan; Leino, Klas; Fredrikson, Matt (Advances in Neural Information Processing Systems, 2023)