TY - RPRT TI - Neuron Activation-based Computation of Logical Explanations for Deep Neural Networks AU - Tomáš Kolárik AU - Faezeh Labbaf AU - Fabrizio Leopardi AU - Grigory Fedyukovich AU - Michael Wand AU - Natasha Sharygina PY - 2026 UR - https://arxiv.org/abs/2609.14099 ID - 2609.14099 ER -