Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making
Research article (IEEE Access, 2024) · cited 39× · AI/ML