Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks

Tomáš Kolárik, Faezeh Labbaf, Fabrizio Leopardi +3

Formal explainability of classifying neural networks (NNs) is an active area of research, providing explanations with provable guarantees of the classification within continuous re…