Research Briefs
AI & Computingpreprint2026-10-16

Formal Methods for XAI Verification: Proving That Explanations Are Correct

Open access0 citations

Abstract

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

// Source

View paper (DOI)Open access versionOpenAlexZenodo (CERN European Organization for Nuclear Research)Published 2026-10-16

Authors: Oleh Ivchenko

Institutions: Odesа Polytechnic National University

Explainable Artificial Intelligence (XAI)Formal Methods in VerificationSoftware Testing and Debugging Techniques