Descriptif
Neural networks are widely used in numerous applications including safety-critical ones such as control and planning for autonomous systems. A central question is how to verify that they are correct with respect to some specification. Beyond correctness or robustness, we are also interested in questions such as explainability and fairness, that can in turn be specified as formal verification problems. In this course, we will see how formal methods approaches introduced in the context of program verification can be leveraged to address the verification of neural networks.
Diplôme(s) concerné(s)
- M2 DAIIG - Maj. DATAAI - Donnees et intelligence artificielle
- M1 DAIIG - Maj. DATAAI - Donnees et intelligence artificielle
- MScT-Visual Computing and Creative AI
- MScT-Trust and Responsible AI
- M2 CCSN - Maj. CPS - Système Cyber Physique
Parcours de rattachement
Format des notes
Numérique sur 20Littérale/grade américainPour les étudiants du diplôme MScT-Trust and Responsible AI
Pour les étudiants du diplôme MScT-Visual Computing and Creative AI
Pour les étudiants du diplôme M2 CCSN - Maj. CPS - Système Cyber Physique
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 7
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 7
- Crédits ECTS acquis : 2.5 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M2 DAIIG - Maj. DATAAI - Donnees et intelligence artificielle
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 7
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 7
- Crédits ECTS acquis : 2 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Pour les étudiants du diplôme M1 DAIIG - Maj. DATAAI - Donnees et intelligence artificielle
Le rattrapage est autorisé (Note de rattrapage conservée)- le rattrapage est obligatoire si :
- Note initiale < 7
- le rattrapage peut être demandé par l'étudiant si :
- Note initiale < 7
- Crédits ECTS acquis : 2 ECTS
La note obtenue rentre dans le calcul de votre GPA.
Support pédagogique multimédia
