Verification for Machine Learning, Autonomy, and Neural Networks Survey.
Weiming XiangPatrick MusauAyana A. WildDiego Manzanas LopezNathaniel HamiltonXiaodong YangJoel A. RosenfeldTaylor T. JohnsonPublished in: CoRR (2018)
Keyphrases
- natural language
- machine learning
- neural network
- pattern recognition
- natural language processing
- genetic algorithm
- artificial neural networks
- machine learning methods
- machine learning algorithms
- fuzzy logic
- active learning
- computational intelligence
- neural nets
- learning algorithm
- back propagation
- model checking
- decision trees
- supervised learning
- decision making
- text mining
- computer vision
- fuzzy systems
- face verification
- neural network model
- text classification
- statistical methods
- knowledge acquisition
- multi agent systems
- learning tasks
- learning systems
- inductive logic programming
- recurrent neural networks
- unsupervised learning
- training process
- verification method