PEREGRiNN: Penalized-Relaxation Greedy Neural Network Verifier.
Haitham KhedrJames FerlezYasser ShoukryPublished in: CAV (1) (2021)
Keyphrases
- neural network
- greedy algorithm
- least squares
- back propagation
- search algorithm
- pattern recognition
- artificial neural networks
- dynamic programming
- neural network model
- neural network is trained
- loss function
- maximum likelihood
- learning vector quantization
- iterative algorithms
- fuzzy logic
- multi layer
- bp neural network
- auto associative
- greedy algorithms
- probabilistic relaxation
- neural nets
- genetic algorithm
- image reconstruction from projections
- fault diagnosis
- feature selection
- objective function
- hidden layer
- greedy strategy
- machine learning
- fuzzy artmap
- hybrid neural network
- greedy heuristic
- fuzzy neural network
- multilayer perceptron
- data sets
- self organizing maps
- evolutionary algorithm