Towards Verified and Targeted Explanations through Formal Methods

Este artículo presenta ViTaX, un marco XAI formal que genera explicaciones semifactuales dirigidas con garantías matemáticas. Aborda la deficiencia de los métodos XAI existentes al no ofrecer garantías de confianza para redes neuronales en dominios críticos como la conducción autónoma y el diagnóstico médico.