ReluDiff: differential verification of deep neural networks.
Brandon PaulsenJingbo WangChao WangPublished in: ICSE (2020)
Keyphrases
- neural network
- artificial neural networks
- pattern recognition
- model checking
- verification method
- genetic algorithm
- fuzzy logic
- neural nets
- formal verification
- back propagation
- face verification
- feed forward
- neural network model
- rule extraction
- functional verification
- formal methods
- real time
- network architecture
- training process
- fuzzy systems
- recurrent neural networks
- self organizing maps
- information retrieval
- data sets