Geometric Path Enumeration for Equivalence Verification of Neural Networks.
Samuel TeuberMarko Kleine BüningPhilipp KernCarsten SinzPublished in: CoRR (2021)
Keyphrases
- neural network
- pattern recognition
- fuzzy logic
- shortest path
- artificial neural networks
- back propagation
- search space
- model checking
- feed forward
- multilayer perceptron
- neural network model
- fault diagnosis
- fingerprint verification
- genetic algorithm
- signature verification
- neural nets
- hidden layer
- geometric structure
- geometric features
- verification method
- hopfield neural network
- datalog programs
- feedforward neural networks
- geometric information
- recurrent neural networks
- database
- computer vision
- three dimensional