Machine Learning with Guarantees using Descriptive Complexity and SMT Solvers.
Charles JordanLukasz KaiserPublished in: CoRR (2016)
Keyphrases
- machine learning
- computational complexity
- data mining
- machine learning methods
- decision trees
- knowledge acquisition
- text classification
- text mining
- computer vision
- artificial intelligence
- learning algorithm
- computer science
- data analysis
- computational cost
- information extraction
- learning tasks
- decision problems
- worst case
- modulo theories
- inductive learning
- space complexity
- data sets
- natural language processing
- supervised learning
- knowledge representation
- optimal solution
- reinforcement learning