Parallelization Techniques for Verifying Neural Networks.
Haoze WuAlex OzdemirAleksandar ZeljicAhmed IrfanKyle JulianDivya GopinathSadjad FouladiGuy KatzCorina S. PasareanuClark W. BarrettPublished in: CoRR (2020)
Keyphrases
- neural network
- pattern recognition
- back propagation
- parallel processing
- activation function
- multi layer
- artificial neural networks
- fuzzy logic
- feed forward
- fuzzy systems
- database
- neural network model
- multiscale
- model checking
- artificial intelligence
- genetic algorithm
- neuro fuzzy systems
- neural nets
- database systems
- training process
- network architecture
- rule extraction
- hopfield neural network
- neural network is trained