Simplifying Neural Networks with the Marabou Verification Engine.
Sumathi GokulanathanAlexander FeldsherAdi MalcaClark W. BarrettGuy KatzPublished in: CoRR (2019)
Keyphrases
- neural network
- pattern recognition
- genetic algorithm
- neural nets
- neural network model
- fuzzy logic
- back propagation
- competitive learning
- recurrent neural networks
- multi layer perceptron
- fuzzy systems
- associative memory
- neural learning
- formal verification
- face verification
- fuzzy neural network
- artificial intelligence
- database systems
- image processing
- model checking
- petri net
- expert systems