Veranstaltung
Die hier angezeigten Termine und Veranstaltungen werden dynamisch aus Stud.IP heraus angezeigt.
Daher kontaktieren Sie bei Fragen bitte direkt die Person, die unter dem Punkt Lehrende/Dozierende steht.
Veranstaltung
Semester:
Sommersemester
2022
2.01.494 Applied Verification Lab: Neural Networks -
Veranstaltungstermin | Raum
- Mittwoch, 20.4.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 27.4.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 4.5.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 11.5.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 18.5.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 25.5.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 1.6.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 8.6.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 15.6.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 22.6.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 29.6.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 6.7.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 13.7.2022 12:15 - 13:45 | A03 2-209
- Mittwoch, 20.7.2022 12:15 - 13:45 | A03 2-209
Beschreibung
The exceptional performance of deep neural networks in areas such as perception and natural language processing has made them an integral part of many real-world AI systems, including safety-critical ones such as medical diagnosis and autonomous driving. However, neural networks are inherently opaque, and numerous defects have been found in state-of-the-art networks.
In this lab, we will apply various methods for proving the reliability of deep neural networks. In particular, we will use state-of-the-art tools, such as Crown, ERAN, Marabou, and Planet, and apply them to examples from the neural network verification competition.
In this lab, we will apply various methods for proving the reliability of deep neural networks. In particular, we will use state-of-the-art tools, such as Crown, ERAN, Marabou, and Planet, and apply them to examples from the neural network verification competition.
lecturer
SWS
--
Lehrsprache
englisch