Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing
Fuente:
arXiv
Guardado en:
| Autores principales: | , , |
|---|---|
| Formato: | Preprint |
| Publicado: |
2026
|
| Materias: | |
| Acceso en línea: | |
| Etiquetas: |
Agregar Etiqueta
Sin Etiquetas, Sea el primero en etiquetar este registro!
|
| _version_ | 1866912926992957440 |
|---|---|
| author | Queiroz, Luiz Fernando Paulino Cavalcante, Carlos Henrique Leitão Rocha, Thiago Alves |
| author_facet | Queiroz, Luiz Fernando Paulino Cavalcante, Carlos Henrique Leitão Rocha, Thiago Alves |
| contents | Neural networks (NNs) are pervasive across various domains but often lack interpretability. To address the growing need for explanations, logic-based approaches have been proposed to explain predictions made by NNs, offering correctness guarantees. However, scalability remains a concern in these methods. This paper proposes an approach leveraging domain slicing to facilitate explanation generation for NNs. By reducing the complexity of logical constraints through slicing, we decrease explanation time by up to 40\% less time, as indicated through comparative experiments. Our findings highlight the efficacy of domain slicing in enhancing explanation efficiency for NNs. |
| format | Preprint |
| id |
arxiv_https___arxiv_org_abs_2602_22115 |
| institution | arXiv |
| publishDate | 2026 |
| record_format | arxiv |
| spellingShingle | Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing Queiroz, Luiz Fernando Paulino Cavalcante, Carlos Henrique Leitão Rocha, Thiago Alves Logic in Computer Science Machine Learning Neural networks (NNs) are pervasive across various domains but often lack interpretability. To address the growing need for explanations, logic-based approaches have been proposed to explain predictions made by NNs, offering correctness guarantees. However, scalability remains a concern in these methods. This paper proposes an approach leveraging domain slicing to facilitate explanation generation for NNs. By reducing the complexity of logical constraints through slicing, we decrease explanation time by up to 40\% less time, as indicated through comparative experiments. Our findings highlight the efficacy of domain slicing in enhancing explanation efficiency for NNs. |
| title | Slice and Explain: Logic-Based Explanations for Neural Networks through Domain Slicing |
| topic | Logic in Computer Science Machine Learning |
| url | https://arxiv.org/abs/2602.22115 |