TY  - RPRT
TI  - Disproving XAI Myths with Formal Methods -- Initial Results
AU  - Joao Marques-Silva
PY  - 2023
UR  - https://arxiv.org/abs/2306.01744
ID  - 2306.01744
ER  -