C
search
search
reviewers
reviewers
feeds
feeds
assignments
assignments
settings
logout
An Abstraction-Refinement Approach to Verifying Convolutional Neural Networks.
Matan Ostrovsky
Clark W. Barrett
Guy Katz
Published in:
CoRR (2022)
Keyphrases
</>
convolutional neural networks
convolutional network
high level
genetic algorithm
facial landmark localization
neural network
information retrieval
decision making
data structure
hidden markov models
model checking
state abstraction