1 citations · 1 across the 1 of their papers we have counts for
2 papers
cs.LO2026
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…
cs.LG2025★ 1 cited
Space Explanations of Neural Network Classification
Faezeh Labbaf, Tomáš Kolárik, Martin Blicha +3
We present a novel logic-based concept called Space Explanations for classifying neural networks that gives provable guarantees of the behavior of the network in continuous areas o…