v2.11.0 (5648)

Cours scientifiques - INF641 : Introduction to the verification of neural networks

Domaine > Informatique.

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.

Format des notes

Numérique sur 20

Littérale/grade réduit

Pour les étudiants du diplôme M2 Data AI - Data and Artificial Intelligence

Pour les étudiants du diplôme M1 Data AI - Data and Artificial Intelligence

Pour les étudiants du diplôme M2 Système Cyber Physique

L'UE est acquise si Note finale >= 10
  • Crédits ECTS acquis : 2.5 ECTS

Pour les étudiants du diplôme MScT-Artificial Intelligence and Advanced Visual Computing

Le rattrapage est autorisé (Max entre les deux notes)
    L'UE est acquise si Note finale >= 10
    • Crédits ECTS acquis : 2 ECTS

    Support pédagogique multimédia

    Oui

    Veuillez patienter