Minimal Modifications of Deep Neural Networks using Verification.

Ben Goldberger, Guy Katz, Yossi Adi, Joseph Keshet

Browse the full LPAR paper archive.