Comparing Neural Network Encodings for Logic-based Explainability

Levi Cordeiro Carvalho, Saulo A. F. Oliveira, Thiago Alves Rocha

Providing explanations for the outputs of artificial neural networks (ANNs) is crucial in many contexts, such as critical systems, data protection laws and handling adversarial exa…