TY - RPRT TI - Formal Abductive Latent Explanations for Prototype-Based Networks AU - Jules Soria AU - Zakaria Chihani AU - Julien Girard-Satabin AU - Alban Grastien AU - Romain Xu-Darme AU - Daniela Cancila PY - 2025 DO - 10.1609/aaai.v40i30.39755 UR - https://arxiv.org/abs/2511.16588 ID - 2511.16588 ER -