Geometric Path Enumeration for Equivalence Verification of Neural Networks.
Samuel TeuberMarko Kleine BüningPhilipp KernCarsten SinzPublished in: ICTAI (2021)
Keyphrases
- neural network
- pattern recognition
- neural network model
- geometric constraints
- artificial neural networks
- feed forward
- model checking
- fuzzy logic
- neural nets
- formal verification
- multi layer
- back propagation
- self organizing maps
- geometric structure
- recurrent neural networks
- database
- fault diagnosis
- shortest path
- search space
- genetic algorithm
- formal methods
- rule extraction
- asynchronous circuits
- feedforward neural networks
- artificial intelligence
- multi layer perceptron
- fuzzy neural network
- multilayer perceptron
- multiscale
- three dimensional