Certifiably Robust Variational Autoencoders. - Ben Barrett; Alexander Camuto; Matthew Willetts; Tom Rainforth (AISTATS, 2022)