Login / Signup
Efficient Complete Verification of Neural Networks via Layerwised Splitting and Refinement.
Banghu Yin
Liqian Chen
Jiangchao Liu
Ji Wang
Published in:
IEEE Trans. Comput. Aided Des. Integr. Circuits Syst. (2022)
Keyphrases
</>
neural network
pattern recognition
artificial neural networks
fuzzy logic
cost effective
computationally expensive
database
computationally efficient
machine learning
image processing
case study
multi agent systems
knn
self organizing maps
feed forward
recurrent neural networks