Precise Multi-Neuron Abstractions for Neural Network Certification.
Mark Niklas MüllerGleb MakarchukGagandeep SinghMarkus PüschelMartin T. VechevPublished in: CoRR (2021)
Keyphrases
- neural network
- activation function
- back propagation
- neural model
- neuron model
- genetic algorithm
- feed forward
- neural network model
- fuzzy logic
- third party
- pattern recognition
- multilayer perceptron
- artificial neural networks
- search algorithm
- recurrent neural networks
- gradient vector
- multi layer
- fuzzy artmap
- high level
- feedforward neural networks
- feed forward neural networks
- single neuron
- neural network is trained
- learning rules
- fuzzy neural network
- network architecture
- network model
- biologically inspired
- prediction model
- fault diagnosis
- knn