An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks.

Matan Ostrovsky Clark W. Barrett Guy Katz

Published in: ATVA (2022)

Keyphrases

convolutional neural networks
convolutional network
high level
facial landmark localization
databases
neural network
information systems
multimedia
web services
multi agent
data structure
dynamic programming
edge detection
refinement process