curriculum
Differences
This shows you the differences between two versions of the page.
| Both sides previous revision Previous revision | Next revision Both sides next revision | ||
|
curriculum [2022/09/01 11:11] cani [Scientific Courses, period 2 (January - March)] |
curriculum [2022/09/01 11:12] cani [Scientific Courses, period 2 (January - March)] |
||
|---|---|---|---|
| Line 34: | Line 34: | ||
| **INF641 - Introduction to the verification of neural networks (24h, 2 ECTS), Eric Goubault (EP), Sylvie Putot (EP)** (contact: sylvie.putot@polytechnique.edu) | **INF641 - Introduction to the verification of neural networks (24h, 2 ECTS), Eric Goubault (EP), Sylvie Putot (EP)** (contact: sylvie.putot@polytechnique.edu) | ||
| - | 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. | + | 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. |
| **INF642 - Socio-emotional embodied conversational agents (24h, 2 ECTS), Catherine Pelachaud (CNRS - ISIR), Chloé Clavel (TelecomParistech) ** (contact: catherine.pelachaud@upmc.fr) | **INF642 - Socio-emotional embodied conversational agents (24h, 2 ECTS), Catherine Pelachaud (CNRS - ISIR), Chloé Clavel (TelecomParistech) ** (contact: catherine.pelachaud@upmc.fr) | ||
curriculum.txt · Last modified: 2023/06/22 18:41 by scornet
Page Tools
