Verification-Friendly Deep Neural Networks.
Anahita BaninajjarAhmed RezineAmir AminifarPublished in: CoRR (2023)
Keyphrases
- neural network
- neural network model
- recurrent neural networks
- pattern recognition
- back propagation
- model checking
- friendly interface
- genetic algorithm
- fuzzy systems
- databases
- verification method
- deep learning
- face verification
- fuzzy logic
- artificial neural networks
- real world
- feature selection
- real time
- self organizing maps
- concurrent systems
- asynchronous circuits
- fingerprint verification
- person identification
- signature verification
- information systems
- rule extraction
- formal methods
- network architecture
- training algorithm
- training process
- feature extraction
- multilayer perceptron
- feed forward