Soria, Jules, Zakaria Chihani, Julien Girard-Satabin, Alban Grastien, Romain Xu-Darme, and Daniela Cancila. “Formal Abductive Latent Explanations for Prototype-Based Networks”. Proceedings of the AAAI Conference on Artificial Intelligence 40, no. 30 (March 14, 2026): 25590–25598. Accessed May 19, 2026. https://ojs.aaai.org/index.php/AAAI/article/view/39755.