Title | Space Explanations of Neural Network Classification |
Publication Type | Conference Paper |
Year of Publication | 2025 |
Authors | Labbaf, Faezeh, Kolárik Tomáš, Blicha Martin, Fedyukovich Grigory, Wand Michael, and Sharygina Natasha |
Conference Name | 37th CAV 2025 |
Abstract | 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 of the input feature space. To automatically generate space explanations, we leverage on a range of flexible Craig interpolation algorithms and unsatisfiable core generation. |