Published October 19, 2026 | Version v1
Preprint Open

Formal Methods for XAI Verification: Proving That Explanations Are Correct

Authors/Creators

  • 1. Odessa National Polytechnic University

Description

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

Files

2565.md

Files (32.7 kB)

Name Size
md5:3f1502d72c3cff04a5e439eec1aea8be
32.7 kB Preview Download