Assessing Heuristic Machine Learning Explanations with Model Counting.
Nina NarodytskaAditya A. ShrotriKuldeep S. MeelAlexey IgnatievJoão Marques-SilvaPublished in: SAT (2019)
Keyphrases
- machine learning
- model counting
- weighted model counting
- knowledge compilation
- probabilistic inference
- machine learning algorithms
- optimal solution
- learning algorithm
- constraint satisfaction
- polynomial size
- inductive logic programming
- information extraction
- supervised learning
- simulated annealing
- combinatorial optimization
- natural language
- natural language processing
- expert systems
- machine translation
- search algorithm