# Disproving XAI Myths with Formal Methods – Initial Results

> Research article (2023 27th International Conference on Engineering of Complex Computer Systems (ICECCS), 2023) · cited 11× · AI/ML

**Wikidata**: [openalex:W4388894078](https://www.wikidata.org/wiki/openalex:W4388894078)  
**Source**: https://4ort.xyz/entity/disproving-xai-myths-with-formal-methods-initial-results