Guaranteeing correctness in Black-Box Machine Learning: A Fusion of Explainable AI and formal methods for Healthcare decision-making

N Khan, M Nauman, AS Almadhor, N Akhtar… - IEEE …, 2024 - ieeexplore.ieee.org
In recent years, Explainable Artificial Intelligence (XAI) has attracted considerable attention
from the research community, primarily focusing on elucidating the opaque decision-making …