Towards Verified and Targeted Explanations through Formal Methods

Este artigo introduz o ViTaX, uma estrutura XAI formal que gera explicações semifactuais direcionadas com garantias matemáticas. Ele aborda a lacuna das explicações atuais que não oferecem garantias de confiança para redes neurais em domínios críticos como direção autônoma e diagnóstico médico.