Robustness certification with generative models.

Matthew Mirman, Alexander Hgele, Pavol Bielik, Timon Gehr, Martin T. Vechev

Browse the full PLDI paper archive.