Scalable Quantitative Verification for Deep Neural Networks.
Teodora BalutaZheng Leong ChuaKuldeep S. MeelPrateek SaxenaPublished in: ICSE (Companion Volume) (2021)
Keyphrases
- neural network
- pattern recognition
- artificial neural networks
- fuzzy logic
- back propagation
- neural nets
- rule extraction
- quantitative and qualitative
- multilayer perceptron
- neural network model
- model checking
- associative memory
- highly scalable
- training algorithm
- functional verification
- deep learning
- fuzzy systems
- lightweight
- real time
- qualitative and quantitative
- training process
- network architecture
- face verification
- information systems
- memory efficient
- signature verification
- formal verification
- fuzzy rules