Soria, J., Chihani, Z., Girard-Satabin, J., Grastien, A., Xu-Darme, R., & Cancila, D. (2026). Formal Abductive Latent Explanations for Prototype-Based Networks. Proceedings of the AAAI Conference on Artificial Intelligence, 40(30), 25590–25598. https://doi.org/10.1609/aaai.v40i30.39755