Double Bubble, Toil and Trouble: Enhancing Certified Robustness through Transitivity - Cullen, Andrew; Montague, Paul; Liu, Shijie; Erfani, Sarah; Rubinstein, Benjamin (Advances in Neural Information Processing Systems, 2022)