Anytime approximate formal feature attribution

J Yu, G Farr, A Ignatiev, PJ Stuckey - arXiv preprint arXiv:2312.06973, 2023 - arxiv.org
Widespread use of artificial intelligence (AI) algorithms and machine learning (ML) models
on the one hand and a number of crucial issues pertaining to them warrant the need for …

From formal boosted tree explanations to interpretable rule sets

J Yu, A Ignatiev, PJ Stuckey - 29th International Conference on …, 2023 - drops.dagstuhl.de
The rapid rise of Artificial Intelligence (AI) and Machine Learning (ML) has invoked the need
for explainable AI (XAI). One of the most prominent approaches to XAI is to train rule-based …

Logic-Based Explainability: Past, Present & Future

J Marques-Silva - arXiv preprint arXiv:2406.11873, 2024 - arxiv.org
In recent years, the impact of machine learning (ML) and artificial intelligence (AI) in society
has been absolutely remarkable. This impact is expected to continue in the foreseeable …