Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making
IEEE Access（2024）
Key words
Decision making,Closed box,Mathematical models,Explainable AI,Neurons,Predictive models,Brain modeling,Machine learning,Cancer detection,Prognostics and health management,Black-box machine learning,neural networks,interpretable machine learning,cancer prognosis,decision-making,formal methods,formal verification,colored petri nets
AI Read Science
Must-Reading Tree
Example
Generate MRT to find the research sequence of this paper
Chat Paper
Summary is being generated by the instructions you defined