@article{formalabductivelatentexplanationsforprot,
  title = {Formal Abductive Latent Explanations for Prototype-Based Networks},
  author = {Jules Soria and Zakaria Chihani and Julien Girard-Satabin and Alban Grastien and Romain Xu-Darme and Daniela Cancila},
  year = {2025},
  eprint = {2511.16588},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2511.16588},
}