3 papers
cs.LG2026
Beyond : Generalizing Abductive Latent Explanations to Diverse Prototype-Based Architectures
Jules Soria, Alban Grastien, Romain Xu-Darme +3
Prototype-based neural networks are hailed as interpretable-by-design architectures. Recently, Abductive Latent Explanations (ALE) were introduced to provide formal, mathematically…
cs.AI2025
Formal Abductive Latent Explanations for Prototype-Based Networks
Jules Soria, Zakaria Chihani, Julien Girard-Satabin +3
Case-based reasoning networks are machine-learning models that make predictions based on similarity between the input and prototypical parts of training samples, called prototypes.…
cs.SE2025
The CAISAR Platform: Extending the Reach of Machine Learning Specification and Verification
Michele Alberti, François Bobot, Julien Girard-Satabin +3
The formal specification and verification of machine learning programs saw remarkable progress in less than a decade, leading to a profusion of tools. However, diversity may lead t…