Robust Training and Verification of Implicit Neural Networks: A Non-Euclidean Contractive Approach.
Saber JafarpourAlexander DavydovMatthew AbateFrancesco BulloSamuel CooganPublished in: CoRR (2022)
Keyphrases
- neural network
- training process
- backpropagation algorithm
- training algorithm
- pattern recognition
- feed forward neural networks
- feedforward neural networks
- multi layer perceptron
- neural network training
- computationally efficient
- back propagation
- fixed point
- genetic algorithm
- neural network structure
- fuzzy neural network
- model checking
- training examples
- supervised learning
- fuzzy systems
- neural network model
- dictionary learning
- training phase
- fault diagnosis
- formal verification
- recurrent networks
- online learning
- active learning