Research Briefs
AI & Computingpreprint2026-10-03

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-03

Authors: Oleh Ivchenko

Institutions: Odesа Polytechnic National University

Logic, programming, and type systemsScientific Computing and Data ManagementMathematics, Computing, and Information Processing