Neural Network Verification for the Masses (of AI graduates).
Ekaterina KomendantskayaRob StewartKirsty DuncanDaniel KienitzPierre Le HenPascal BacchusPublished in: CoRR (2019)
Keyphrases
- neural network
- artificial intelligence
- computer science
- model checking
- expert systems
- neural nets
- artificial neural networks
- artificial intelligent
- formal verification
- neural network is trained
- back propagation
- knowledge representation
- face verification
- pattern recognition
- image reconstruction from projections
- fuzzy artmap
- engineering students
- ai systems
- prediction model
- fuzzy logic
- knowledge based systems
- bp neural network
- case based reasoning
- ai community
- neural network model
- computer programming
- multilayer perceptron
- lecture notes in artificial intelligence
- feed forward neural networks
- feedforward neural networks
- feed forward
- fault diagnosis
- learning vector quantization
- multi layer perceptron
- computational intelligence
- ai methods
- fuzzy neural network
- recurrent neural networks
- face recognition