1 code implementation • 21 Jun 2022 • Pol Labarbarie, Hatem Hajri, Marc Arnaudon
Certification of neural networks is an important and challenging problem that has been attracting the attention of the machine learning community since few years.