Published May 3, 2026
| Version v1
Preprint
Open
Formal Methods for XAI Verification: Proving That Explanations Are Correct
Description
Research article: Formal Methods for XAI Verification: Proving That Explanations Are Correct
Files
2565.md
Files
(14.9 kB)
| Name | Size | Download all |
|---|---|---|
|
md5:c8719715704a98c2b8790c6107cc9651
|
14.9 kB | Preview Download |