@inproceedings{mirman2021pldi,
  title        = {{Robustness Certification with Generative Models}},
  author       = {Mirman, Matthew and H\"agele, Alexander and Gehr, Timon and Bielik, Pavol and Vechev, Martin},
  booktitle    = {Proceedings of the 42nd ACM SIGPLAN Conference on Programming Language Design and Implementation},
  year         = {2021},
  organization = {ACM}
}