A Recipe for Improved Certifiable Robustness - Hu, Kai; Leino, Klas; Wang, Zifan; Fredrikson, Matt (International Conference on Learning Representations, 2024)