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

Nadia Khan, Muhammad Nauman, Ahmad S. Almadhor, Nadeem Akhtar, Abdullah Alghuried, Adi Alhudhaif

Research output: Contribution to journal › Article › peer-review

17 Scopus citations

Fingerprint

Dive into the research topics of 'Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making'. Together they form a unique fingerprint.

Chemical Engineering