A Computability Perspective on (Verified) Machine Learning.
Tonicha CrookJay Paul MorganArno PaulyMarkus RoggenbachPublished in: WADT (2022)
Keyphrases
- machine learning
- machine learning methods
- machine learning algorithms
- viewpoint
- learning systems
- explanation based learning
- computer vision
- reinforcement learning
- active learning
- data mining
- inductive logic programming
- information extraction
- text mining
- natural language processing
- text classification
- computational intelligence
- data sets
- support vector machine
- knowledge discovery
- natural language
- pattern recognition
- feature selection
- learning algorithm
- learning tasks
- artificial intelligence
- inductive learning
- machine learning approaches
- knowledge discovery in databases
- multiple perspectives
- machine learning systems