Neural Network Robustness Verification on GPUs.
Christoph MüllerGagandeep SinghMarkus PüschelMartin T. VechevPublished in: CoRR (2020)
Keyphrases
- neural network
- model checking
- artificial neural networks
- general purpose
- artificial intelligence
- pattern recognition
- back propagation
- parallel processing
- hybrid neural network
- neural network is trained
- feedforward neural networks
- feed forward neural networks
- bp neural network
- genetic algorithm
- support vector
- fuzzy logic
- data sets
- computational efficiency
- image reconstruction from projections
- hybrid intelligent
- verification method
- auto associative
- signature verification
- parallel programming
- computational power
- training algorithm
- training process
- neural nets
- fault diagnosis
- prediction model
- multilayer perceptron
- self organizing maps
- neural network model