Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making

Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making

In recent years, Explainable Artificial Intelligence (XAI) has attracted considerable attention from the research community, primarily focusing on elucidating the opaque decision-making processes inherent in complex black-box machine learning systems such as deep neural networks. This spike in inter...

Full description

Bibliographic Details
Main Authors: Nadia Khan, Muhammad Nauman, Ahmad S. Almadhor, Nadeem Akhtar, Abdullah Alghuried, Adi Alhudhaif
Format: Article
Language:English
Published: IEEE 2024-01-01
Series:IEEE Access
Subjects:
Black-box machine learning
neural networks
interpretable machine learning
cancer prognosis
decision-making
formal methods
Online Access:https://ieeexplore.ieee.org/document/10577273/

Internet

https://ieeexplore.ieee.org/document/10577273/

Similar Items