Login / Signup
An MILP Encoding for Efficient Verification of Quantized Deep Neural Networks.
Samvid Mistry
Indranil Saha
Swarnendu Biswas
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
</>
neural network
cost effective
pattern recognition
fuzzy logic
expert systems
artificial neural networks
linear program
neural network model
recurrent neural networks
data sets
machine learning
video sequences
computationally expensive
training process
formal verification