Soria, Jules, et al. “Formal Abductive Latent Explanations for Prototype-Based Networks”. Proceedings of the AAAI Conference on Artificial Intelligence, vol. 40, no. 30, Mar. 2026, pp. 25590-8, doi:10.1609/aaai.v40i30.39755.