Showing 2026Show all
2 papers · 1 filter
cs.LG2026
From Abductive Explanations to Global Logical Rules for Node Classification in SGCs
Bryan Lima Cavalcante, Thiago Alves Rocha
Graph Neural Networks (GNNs) have achieved remarkable performance in node classification tasks, motivating growing interest in methods capable of explaining their predictions. Rece…
cs.LO2026
Bound Propagation meets Constraint Simplification: Improving Logic-based XAI for Neural Networks
Ronaldo Gomes, Jairo Ribeiro, Luiz Queiroz +1
Logic-based methods for explaining neural network decisions offer formal guarantees of correctness and non-redundancy, but they often suffer from high computational costs, especial…