Optimized Symbolic Interval Propagation for Neural Network Verification.
Philipp KernMarko Kleine BüningCarsten SinzPublished in: CoRR (2022)
Keyphrases
- neural network
- neural learning
- connectionist models
- neural network model
- interval arithmetic
- back propagation
- connectionist systems
- global exponential stability
- interval data
- artificial neural networks
- verification method
- model checking
- backpropagation neural network
- wave propagation
- multi layer perceptron
- network model
- genetic algorithm
- symbolic representation
- network architecture
- neural nets
- pattern recognition
- auto associative
- type fuzzy logic systems
- hybrid neural network
- image reconstruction from projections
- artificial intelligence
- high level
- expert systems
- radial basis function
- feed forward
- multilayer perceptron
- training algorithm
- recurrent neural networks
- bp neural network
- hopfield neural network
- formal verification
- signature verification
- feed forward neural networks
- multi layer
- training process