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

30 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