Fiche d'un projet ANR

 115582Raisonnements formellement certifiés en apprentissage automatique [En savoir plus]ForML - ANR-23-CE25-0009
AAPG2023 - 2023