{"id":"https://openalex.org/W4400111331","doi":"https://doi.org/10.1109/access.2024.3420415","title":"Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making","display_name":"Guaranteeing Correctness in Black-Box Machine Learning: A Fusion of Explainable AI and Formal Methods for Healthcare Decision-Making","publication_year":2024,"publication_date":"2024-01-01","ids":{"openalex":"https://openalex.org/W4400111331","doi":"https://doi.org/10.1109/access.2024.3420415"},"language":"en","primary_location":{"id":"doi:10.1109/access.2024.3420415","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3420415","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"type":"article","indexed_in":["crossref","doaj"],"open_access":{"is_oa":true,"oa_status":"gold","oa_url":"https://doi.org/10.1109/access.2024.3420415","any_repository_has_fulltext":true},"authorships":[{"author_position":"first","author":{"id":"https://openalex.org/A5101763378","display_name":"Nadia Khan","orcid":"https://orcid.org/0009-0008-5713-5578"},"institutions":[{"id":"https://openalex.org/I174731842","display_name":"Islamia University of Bahawalpur","ror":"https://ror.org/002rc4w13","country_code":"PK","type":"education","lineage":["https://openalex.org/I174731842"]}],"countries":["PK"],"is_corresponding":true,"raw_author_name":"Nadia Khan","raw_affiliation_strings":["Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur, Punjab, Pakistan"],"raw_orcid":"https://orcid.org/0009-0008-5713-5578","affiliations":[{"raw_affiliation_string":"Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur, Punjab, Pakistan","institution_ids":["https://openalex.org/I174731842"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5102915851","display_name":"Muhammad Nauman","orcid":"https://orcid.org/0000-0003-3173-2549"},"institutions":[{"id":"https://openalex.org/I174731842","display_name":"Islamia University of Bahawalpur","ror":"https://ror.org/002rc4w13","country_code":"PK","type":"education","lineage":["https://openalex.org/I174731842"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Muhammad Nauman","raw_affiliation_strings":["Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur, Punjab, Pakistan"],"raw_orcid":"https://orcid.org/0000-0003-3173-2549","affiliations":[{"raw_affiliation_string":"Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur, Punjab, Pakistan","institution_ids":["https://openalex.org/I174731842"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5045221683","display_name":"Ahmad Almadhor","orcid":"https://orcid.org/0000-0002-8665-1669"},"institutions":[{"id":"https://openalex.org/I199702508","display_name":"Jouf University","ror":"https://ror.org/02zsyt821","country_code":"SA","type":"education","lineage":["https://openalex.org/I199702508"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Ahmad S. Almadhor","raw_affiliation_strings":["College of Computer and Information Sciences, Jouf University, Sakaka, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0002-8665-1669","affiliations":[{"raw_affiliation_string":"College of Computer and Information Sciences, Jouf University, Sakaka, Saudi Arabia","institution_ids":["https://openalex.org/I199702508"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5039179239","display_name":"Nadeem Akhtar","orcid":"https://orcid.org/0000-0003-2475-5590"},"institutions":[{"id":"https://openalex.org/I174731842","display_name":"Islamia University of Bahawalpur","ror":"https://ror.org/002rc4w13","country_code":"PK","type":"education","lineage":["https://openalex.org/I174731842"]}],"countries":["PK"],"is_corresponding":false,"raw_author_name":"Nadeem Akhtar","raw_affiliation_strings":["Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur, Punjab, Pakistan"],"raw_orcid":"https://orcid.org/0000-0003-2475-5590","affiliations":[{"raw_affiliation_string":"Department of Software Engineering, Faculty of Computing, The Islamia University of Bahawalpur, Punjab, Pakistan","institution_ids":["https://openalex.org/I174731842"]}]},{"author_position":"middle","author":{"id":"https://openalex.org/A5016241112","display_name":"Abdullah Alghuried","orcid":"https://orcid.org/0000-0003-2074-0658"},"institutions":[{"id":"https://openalex.org/I72264486","display_name":"University of Tabuk","ror":"https://ror.org/04yej8x59","country_code":"SA","type":"education","lineage":["https://openalex.org/I72264486"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Abdullah Alghuried","raw_affiliation_strings":["Department of Industrial Engineering, Faculty of Engineering, University of Tabuk, Tabuk, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0003-2074-0658","affiliations":[{"raw_affiliation_string":"Department of Industrial Engineering, Faculty of Engineering, University of Tabuk, Tabuk, Saudi Arabia","institution_ids":["https://openalex.org/I72264486"]}]},{"author_position":"last","author":{"id":"https://openalex.org/A5054576459","display_name":"Adi Alhudhaif","orcid":"https://orcid.org/0000-0002-7201-6963"},"institutions":[{"id":"https://openalex.org/I142608572","display_name":"Prince Sattam Bin Abdulaziz University","ror":"https://ror.org/04jt46d36","country_code":"SA","type":"education","lineage":["https://openalex.org/I142608572"]}],"countries":["SA"],"is_corresponding":false,"raw_author_name":"Adi Alhudhaif","raw_affiliation_strings":["Department of Computer Science, College of Computer Engineering and Sciences in Al-Kharj, Prince Sattam Bin Abdulaziz University, Al-Kharj, Saudi Arabia"],"raw_orcid":"https://orcid.org/0000-0002-7201-6963","affiliations":[{"raw_affiliation_string":"Department of Computer Science, College of Computer Engineering and Sciences in Al-Kharj, Prince Sattam Bin Abdulaziz University, Al-Kharj, Saudi Arabia","institution_ids":["https://openalex.org/I142608572"]}]}],"institutions":[],"countries_distinct_count":2,"institutions_distinct_count":6,"corresponding_author_ids":["https://openalex.org/A5101763378"],"corresponding_institution_ids":["https://openalex.org/I174731842"],"apc_list":{"value":1850,"currency":"USD","value_usd":1850},"apc_paid":{"value":1850,"currency":"USD","value_usd":1850},"fwci":12.6907,"has_fulltext":false,"cited_by_count":39,"citation_normalized_percentile":{"value":0.98957467,"is_in_top_1_percent":false,"is_in_top_10_percent":true},"cited_by_percentile_year":{"min":98,"max":100},"biblio":{"volume":"12","issue":null,"first_page":"90299","last_page":"90316"},"is_retracted":false,"is_paratext":false,"is_xpac":false,"primary_topic":{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},"topics":[{"id":"https://openalex.org/T12026","display_name":"Explainable Artificial Intelligence (XAI)","score":0.9991000294685364,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}},{"id":"https://openalex.org/T11636","display_name":"Artificial Intelligence in Healthcare and Education","score":0.9805999994277954,"subfield":{"id":"https://openalex.org/subfields/2718","display_name":"Health Informatics"},"field":{"id":"https://openalex.org/fields/27","display_name":"Medicine"},"domain":{"id":"https://openalex.org/domains/4","display_name":"Health Sciences"}},{"id":"https://openalex.org/T13702","display_name":"Machine Learning in Healthcare","score":0.9782999753952026,"subfield":{"id":"https://openalex.org/subfields/1702","display_name":"Artificial Intelligence"},"field":{"id":"https://openalex.org/fields/17","display_name":"Computer Science"},"domain":{"id":"https://openalex.org/domains/3","display_name":"Physical Sciences"}}],"keywords":[{"id":"https://openalex.org/keywords/computer-science","display_name":"Computer science","score":0.8369152545928955},{"id":"https://openalex.org/keywords/correctness","display_name":"Correctness","score":0.7039793133735657},{"id":"https://openalex.org/keywords/artificial-intelligence","display_name":"Artificial intelligence","score":0.7039015889167786},{"id":"https://openalex.org/keywords/machine-learning","display_name":"Machine learning","score":0.6831026673316956},{"id":"https://openalex.org/keywords/black-box","display_name":"Black box","score":0.6656173467636108},{"id":"https://openalex.org/keywords/heuristics","display_name":"Heuristics","score":0.501880407333374},{"id":"https://openalex.org/keywords/deep-learning","display_name":"Deep learning","score":0.45816758275032043},{"id":"https://openalex.org/keywords/data-science","display_name":"Data science","score":0.33529749512672424}],"concepts":[{"id":"https://openalex.org/C41008148","wikidata":"https://www.wikidata.org/wiki/Q21198","display_name":"Computer science","level":0,"score":0.8369152545928955},{"id":"https://openalex.org/C55439883","wikidata":"https://www.wikidata.org/wiki/Q360812","display_name":"Correctness","level":2,"score":0.7039793133735657},{"id":"https://openalex.org/C154945302","wikidata":"https://www.wikidata.org/wiki/Q11660","display_name":"Artificial intelligence","level":1,"score":0.7039015889167786},{"id":"https://openalex.org/C119857082","wikidata":"https://www.wikidata.org/wiki/Q2539","display_name":"Machine learning","level":1,"score":0.6831026673316956},{"id":"https://openalex.org/C94966114","wikidata":"https://www.wikidata.org/wiki/Q29256","display_name":"Black box","level":2,"score":0.6656173467636108},{"id":"https://openalex.org/C127705205","wikidata":"https://www.wikidata.org/wiki/Q5748245","display_name":"Heuristics","level":2,"score":0.501880407333374},{"id":"https://openalex.org/C108583219","wikidata":"https://www.wikidata.org/wiki/Q197536","display_name":"Deep learning","level":2,"score":0.45816758275032043},{"id":"https://openalex.org/C2522767166","wikidata":"https://www.wikidata.org/wiki/Q2374463","display_name":"Data science","level":1,"score":0.33529749512672424},{"id":"https://openalex.org/C111919701","wikidata":"https://www.wikidata.org/wiki/Q9135","display_name":"Operating system","level":1,"score":0.0},{"id":"https://openalex.org/C199360897","wikidata":"https://www.wikidata.org/wiki/Q9143","display_name":"Programming language","level":1,"score":0.0}],"mesh":[],"locations_count":2,"locations":[{"id":"doi:10.1109/access.2024.3420415","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3420415","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},{"id":"pmh:oai:doaj.org/article:728dfda10c2648d5854b80515fa2c9df","is_oa":true,"landing_page_url":"https://doaj.org/article/728dfda10c2648d5854b80515fa2c9df","pdf_url":null,"source":{"id":"https://openalex.org/S4306401280","display_name":"DOAJ (DOAJ: Directory of Open Access Journals)","issn_l":null,"issn":null,"is_oa":false,"is_in_doaj":false,"is_core":false,"host_organization":null,"host_organization_name":null,"host_organization_lineage":[],"host_organization_lineage_names":[],"type":"repository"},"license":"cc-by-sa","license_id":"https://openalex.org/licenses/cc-by-sa","version":"submittedVersion","is_accepted":false,"is_published":false,"raw_source_name":"IEEE Access, Vol 12, Pp 90299-90316 (2024)","raw_type":"article"}],"best_oa_location":{"id":"doi:10.1109/access.2024.3420415","is_oa":true,"landing_page_url":"https://doi.org/10.1109/access.2024.3420415","pdf_url":null,"source":{"id":"https://openalex.org/S2485537415","display_name":"IEEE Access","issn_l":"2169-3536","issn":["2169-3536"],"is_oa":true,"is_in_doaj":true,"is_core":true,"host_organization":"https://openalex.org/P4310319808","host_organization_name":"Institute of Electrical and Electronics Engineers","host_organization_lineage":["https://openalex.org/P4310319808"],"host_organization_lineage_names":["Institute of Electrical and Electronics Engineers"],"type":"journal"},"license":null,"license_id":null,"version":"publishedVersion","is_accepted":true,"is_published":true,"raw_source_name":"IEEE Access","raw_type":"journal-article"},"sustainable_development_goals":[{"id":"https://metadata.un.org/sdg/16","display_name":"Peace, Justice and strong institutions","score":0.8100000023841858}],"awards":[{"id":"https://openalex.org/G2246833281","display_name":null,"funder_award_id":"PSAU/2023/R/1444","funder_id":"https://openalex.org/F4320311227","funder_display_name":"Prince Sattam bin Abdulaziz University"}],"funders":[{"id":"https://openalex.org/F4320311227","display_name":"Prince Sattam bin Abdulaziz University","ror":"https://ror.org/04jt46d36"}],"has_content":{"pdf":false,"grobid_xml":false},"content_urls":null,"referenced_works_count":104,"referenced_works":["https://openalex.org/W318293062","https://openalex.org/W1498432697","https://openalex.org/W1501469024","https://openalex.org/W1555243480","https://openalex.org/W1561267729","https://openalex.org/W1590315663","https://openalex.org/W1829244603","https://openalex.org/W1901367599","https://openalex.org/W1951679816","https://openalex.org/W1990088911","https://openalex.org/W1996109622","https://openalex.org/W2036677213","https://openalex.org/W2070427365","https://openalex.org/W2112337384","https://openalex.org/W2116767760","https://openalex.org/W2116984840","https://openalex.org/W2122948231","https://openalex.org/W2123328759","https://openalex.org/W2125055259","https://openalex.org/W2132522091","https://openalex.org/W2158599326","https://openalex.org/W2172009270","https://openalex.org/W2240067561","https://openalex.org/W2275841169","https://openalex.org/W2550567537","https://openalex.org/W2607252931","https://openalex.org/W2768897767","https://openalex.org/W2788403449","https://openalex.org/W2810820362","https://openalex.org/W2895067291","https://openalex.org/W2898757978","https://openalex.org/W2901312569","https://openalex.org/W2910890213","https://openalex.org/W2913949647","https://openalex.org/W2917767525","https://openalex.org/W2943031807","https://openalex.org/W2944939776","https://openalex.org/W2945526235","https://openalex.org/W2962858109","https://openalex.org/W2963081790","https://openalex.org/W2963847595","https://openalex.org/W2972638721","https://openalex.org/W2981731882","https://openalex.org/W2981836045","https://openalex.org/W2986798853","https://openalex.org/W2988437828","https://openalex.org/W2999765337","https://openalex.org/W3005812545","https://openalex.org/W3007497458","https://openalex.org/W3013149459","https://openalex.org/W3023064319","https://openalex.org/W3025196045","https://openalex.org/W3037311718","https://openalex.org/W3101446413","https://openalex.org/W3103783719","https://openalex.org/W3104847483","https://openalex.org/W3116286104","https://openalex.org/W3120740533","https://openalex.org/W3128720655","https://openalex.org/W3132091045","https://openalex.org/W3133894893","https://openalex.org/W3139528458","https://openalex.org/W3154435685","https://openalex.org/W3158842640","https://openalex.org/W3172236876","https://openalex.org/W3180233907","https://openalex.org/W3183198896","https://openalex.org/W3193293194","https://openalex.org/W3199499508","https://openalex.org/W3209048534","https://openalex.org/W3210552024","https://openalex.org/W4206348828","https://openalex.org/W4206785899","https://openalex.org/W4224997159","https://openalex.org/W4283805020","https://openalex.org/W4285174261","https://openalex.org/W4288286466","https://openalex.org/W4308878799","https://openalex.org/W4312709796","https://openalex.org/W4323350904","https://openalex.org/W4366263414","https://openalex.org/W4366722528","https://openalex.org/W4366966460","https://openalex.org/W4366990306","https://openalex.org/W4367281679","https://openalex.org/W4385236743","https://openalex.org/W4386082902","https://openalex.org/W4386124574","https://openalex.org/W4388894078","https://openalex.org/W4389671772","https://openalex.org/W4390807477","https://openalex.org/W4392726498","https://openalex.org/W4394823809","https://openalex.org/W6600593057","https://openalex.org/W6629943106","https://openalex.org/W6633768105","https://openalex.org/W6737947904","https://openalex.org/W6755571072","https://openalex.org/W6762622100","https://openalex.org/W6765879183","https://openalex.org/W6767771879","https://openalex.org/W6785806715","https://openalex.org/W6862830266","https://openalex.org/W6908883604"],"related_works":["https://openalex.org/W3008339103","https://openalex.org/W1667647204","https://openalex.org/W2404647514","https://openalex.org/W4247536566","https://openalex.org/W4241418540","https://openalex.org/W2018477250","https://openalex.org/W3119814709","https://openalex.org/W4377865163","https://openalex.org/W4380075502","https://openalex.org/W3184396788"],"abstract_inverted_index":{"In":[0,68],"recent":[1],"years,":[2],"Explainable":[3],"Artificial":[4],"Intelligence":[5],"(XAI)":[6],"has":[7],"attracted":[8],"considerable":[9],"attention":[10],"from":[11,40],"the":[12,19,41,57,90,93,165,179,188,191,210,223,256],"research":[13,230],"community,":[14],"primarily":[15],"focusing":[16],"on":[17,85,178,203],"elucidating":[18],"opaque":[20],"decision-making":[21,65,121,171,253],"processes":[22,254],"inherent":[23],"in":[24,37,48,115,142,222],"complex":[25],"black-box":[26,45,135,148,192],"machine":[27,105],"learning":[28,106,109],"systems":[29],"such":[30],"as":[31],"deep":[32,108],"neural":[33,151],"networks.":[34],"This":[35,96],"spike":[36],"interest":[38],"originates":[39],"widespread":[42],"adoption":[43],"of":[44,92,190],"models,":[46,110],"particularly":[47],"critical":[49,101],"domains":[50],"like":[51],"healthcare":[52,257],"and":[53,62,79,87,107,160,167,173,214,244],"fraud":[54],"detection,":[55],"highlighting":[56],"pressing":[58],"need":[59],"to":[60,119,130,153,163,182],"understand":[61],"validate":[63,196],"their":[64,169],"mechanisms":[66],"rigorously.":[67],"addition,":[69],"prominent":[70],"XAI":[71,243],"techniques,":[72],"including":[73,209],"LIME":[74,159],"(Local":[75],"Interpretable":[76],"Model-Agnostic":[77],"Explanations)":[78],"SHAP":[80,161],"(Shapley":[81],"Additive":[82],"exPlanations),":[83],"rely":[84],"heuristics":[86],"cannot":[88],"guarantee":[89],"correctness":[91,132,189,249],"explanations":[94],"provided.":[95],"article":[97],"systematically":[98],"addresses":[99],"this":[100,124,197,229],"issue":[102],"associated":[103],"with":[104],"underscoring":[111],"XAI\u2019s":[112],"pivotal":[113,144],"role":[114],"promoting":[116],"model":[117],"transparency":[118],"enhance":[120],"quality.":[122],"Furthermore,":[123],"study":[125],"advocates":[126],"integrating":[127],"Formal":[128,184,245],"Methods":[129,185],"provide":[131],"guarantees":[133,250],"for":[134,186,251],"internal":[136,170,252],"decision-making.":[137,194],"The":[138],"proposed":[139,198],"methodology":[140],"unfolds":[141],"three":[143],"stages:":[145],"firstly,":[146],"training":[147,175],"models":[149,166],"using":[150],"networks":[152],"generate":[154],"synthetic":[155,180],"datasets;":[156],"secondly,":[157],"employing":[158],"techniques":[162],"interpret":[164],"visualize":[168],"processes;":[172],"finally,":[174],"decision":[176],"trees":[177],"datasets":[181],"implement":[183],"ensuring":[187],"model\u2019s":[193],"To":[195],"approach,":[199],"experimentation":[200],"was":[201],"conducted":[202],"four":[204],"widely":[205],"recognized":[206],"medical":[207],"datasets,":[208,218],"Wisconsin":[211],"Breast":[212],"Cancer":[213,216],"Thyroid":[215],"(TC)":[217],"which":[219],"are":[220],"available":[221],"UCI":[224],"Machine":[225],"Learning":[226],"Repository.":[227],"Specifically,":[228],"represents":[231],"a":[232,237],"significant":[233],"contribution":[234],"by":[235],"pioneering":[236],"novel":[238],"approach":[239],"that":[240],"seamlessly":[241],"integrates":[242],"Methods,":[246],"thereby":[247],"furnishing":[248],"within":[255],"domain.":[258]},"counts_by_year":[{"year":2026,"cited_by_count":2},{"year":2025,"cited_by_count":31},{"year":2024,"cited_by_count":6}],"updated_date":"2026-05-06T08:25:59.206177","created_date":"2025-10-10T00:00:00"}