Explaining AI Decisions Using Efficient Methods for Learning Sparse Boolean Formulae - Jha, Susmit; Sahai, Tuhin; Raman, Vasumathi; Pinto, Alessandro; Francis, Michael (Journal of automated reasoning, 2019)
Keywords: Algorithms; Artificial Intelligence; Boolean algebra; Computer Science; Decisions; Diagnostic systems; Hypercubes; Machine learning; Mathematical Logic and Formal Languages; Mathematical Logic and Foundations; Random walk; Symbolic and Algebraic Manipulation; Boolean formula learning; Explainable AI; Sparse learning; Formal methods; Machine learning; Interpretable AI