Certification de l'IA par le raisonnement quantitatif et la qualité basée sur le comptage

CertAI focuses on the study of counting-based quality certification of modern AI methods. The project thereby aims to develop and understand new quantitative techniques that can be used to argue about the guaranteed quality of ML output, with applications in computational biology and beyond.


Responsable scientifique pour le CRIL :
Markus Hecher
Participants :
Frédéric Koriche
Stefan Mengel
Jean-Marie Lagniez
Partenaires :
ANR
Durée :
2025-2029