TY  - RPRT
TI  - Comparing Neural Network Encodings for Logic-based Explainability
AU  - Levi Cordeiro Carvalho
AU  - Saulo A. F. Oliveira
AU  - Thiago Alves Rocha
PY  - 2025
DO  - 10.1007/978-3-031-79029-4_20
UR  - https://arxiv.org/abs/2505.20269
ID  - 2505.20269
ER  -