NeVer 2.0: Learning, Verification and Repair of Deep Neural Networks.
Dario GuidottiLuca PulinaArmando TacchellaPublished in: CoRR (2020)
Keyphrases
- neural network
- pattern recognition
- learning systems
- learning process
- learning algorithm
- feedforward neural networks
- error back propagation
- learning capabilities
- artificial neural networks
- active learning
- fuzzy logic
- neural nets
- database
- multi layer
- radial basis function
- learning tasks
- connectionist systems
- mobile learning
- back propagation
- knowledge acquisition
- online learning
- prior knowledge
- expert systems
- database systems
- genetic algorithm
- machine learning