Scaling Polyhedral Neural Network Verification on GPUs.
Christoph MüllerFrançois SerreGagandeep SinghMarkus PüschelMartin T. VechevPublished in: MLSys (2021)
Keyphrases
- neural network
- neural network model
- artificial neural networks
- general purpose
- back propagation
- pattern recognition
- image reconstruction from projections
- learning vector quantization
- multilayer perceptron
- fault diagnosis
- real time
- neural network is trained
- formal verification
- feed forward neural networks
- computational power
- training algorithm
- line drawings
- bp neural network
- prediction model
- recurrent neural networks
- fuzzy logic
- parallel processing
- neural nets
- fuzzy neural network
- scaling factors
- knn
- auto associative
- verification method
- convex hull