5 citations · 13 across the 12 of their papers we have counts for
3 papers · 1 filter
CaBRNet, an open-source library for developing and evaluating Case-Based Reasoning Models
Romain Xu-Darme, Aymeric Varasse, Alban Grastien +2
In the field of explainable AI, a vibrant effort is dedicated to the design of self-explainable models, as a more principled alternative to post-hoc methods that attempt to explain…
CAISAR: A platform for Characterizing Artificial Intelligence Safety and Robustness
Julien Girard-Satabin, Michele Alberti, François Bobot +2
We present CAISAR, an open-source platform under active development for the characterization of AI systems' robustness and safety. CAISAR provides a unified entry point for definin…
DISCO Verification: Division of Input Space into COnvex polytopes for neural network verification
Julien Girard-Satabin, Aymeric Varasse, Marc Schoenauer +2
The impressive results of modern neural networks partly come from their non linear behaviour. Unfortunately, this property makes it very difficult to apply formal verification tool…