An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks
Matan Ostrovsky, Clark Barrett, Guy Katz
Topics & Concepts
Computer scienceConvolutional neural networkAbstractionScheme (mathematics)State (computer science)Computer engineeringArtificial intelligenceTheoretical computer scienceProgramming languagePhilosophyEpistemologyMathematical analysisMathematicsAdversarial Robustness in Machine LearningAdvanced Neural Network ApplicationsAdvanced Malware Detection Techniques