QEBVerif: Quantization Error Bound Verification of Neural Networks.

Yedi Zhang Fu Song Jun Sun

Published in: CAV (2) (2023)

Keyphrases

error bounds
neural network
theoretical analysis
worst case
pattern recognition
model checking
artificial neural networks
back propagation
genetic algorithm
neural network model
special case
mutual information
upper bound
feed forward
multilayer perceptron
recurrent neural networks
training process