Sign in
Efficient Exact Verification of Binarized Neural Networks.
Kai Jia
Martin Rinard
Published in:
CoRR (2020)
Keyphrases
</>
neural network
pattern recognition
cost effective
fuzzy logic
model checking
database
case study
training data
artificial neural networks
recurrent neural networks