Counting‐Based Quality Certification of AI

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.


Scientific Responsible for CRIL :
Markus Hecher
Participants :
Frédéric Koriche
Stefan Mengel
Jean-Marie Lagniez
Partners :
NRA
Duration :
2025-2029