Certifiably Robust Variational Autoencoders () (with Alex Camuto, Matthew Willetts, and Tom Rainforth) International Conference on Artificial Intelligence and Statistics (AISTATS), 2022