activity
20242026
most citedAccelerating the inference of string generation-based chemical reaction models for industrial applications

1 citations · 2 across the 9 of their papers we have counts for

collaborators
Showing cs.LOShow all

1 paper · 1 filter

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…