Soria, Jules, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, and Daniela Cancila. 2026. “Formal Abductive Latent Explanations for Prototype-Based Networks”. Proceedings of the AAAI Conference on Artificial Intelligence 40 (30):25590-98. https://doi.org/10.1609/aaai.v40i30.39755.