Formal Methods for XAI Verification: Proving That Explanations Are Correct

Explainable Artificial Intelligence (XAI)Formal Methods in VerificationSoftware Testing and Debugging TechniquesComputer scienceFormal methodsMathematics+2

ZCEZenodo (CERN European Organization for Nuclear Research)Repository

Download PDF Publisher

Citations by source

Synced 2026-10-06T02:31:08.300363Z

0OpenAlex · primary0Semantic Scholar0Crossref

Counts differ because each database indexes a different set of publications. We treat OpenAlex as the canonical count; Google Scholar is not shown (no API, and crawling it violates its ToS).

Abstract

Research article: Formal Methods for XAI Verification: Proving That Explanations Are Correct

Discussion (0)

No comments yet — start the discussion below.