Keyword:deep neural networks modification

Papers
Minimal Modifications of Deep Neural Networks using Verification Ben Goldberger, Guy Katz, Yossi Adi and Joseph Keshet In:LPAR23. LPAR-23: 23rd International Conference on Logic for Programming, Artificial Intelligence and Reasoning