Towards Efficient Verification of Quantized Neural Networks.

Pei Huang Haoze Wu Yuting Yang Ieva Daukantas Min Wu Yedi Zhang Clark W. Barrett

Published in: AAAI (2024)

Keyphrases

data mining
neural network
pattern recognition
information systems
artificial neural networks
back propagation
multi layer
recurrent neural networks
image quality
sufficient conditions
fuzzy logic
cost effective
model checking
feed forward
computer vision
neural nets
real time