Event
The dates and events shown here are dynamically displayed from Stud.IP.
Therefore, if you have any questions, please contact the person listed under the item Lehrende/DozentIn (Lecturers) directly.
Event
Semester:
Summer term
2022
2.01.495 Verification of Neural Networks -
Event date(s) | room
- Mittwoch, 20.4.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 27.4.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 4.5.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 11.5.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 18.5.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 25.5.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 1.6.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 8.6.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 15.6.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 22.6.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 29.6.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 6.7.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 13.7.2022 16:15 - 17:45 | A03 2-209
- Mittwoch, 20.7.2022 16:15 - 17:45 | A03 2-209
Description
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 seminar, we will study various methods for proving the reliability of deep neural networks. To this end, we will work with the book "Introduction to Neural Network Verification" by Aws Albarghouthi and select current research papers. Please note that this seminar will focus on formal methods, including topics related to logic and automated reasoning. It is not about deep learning.
In this seminar, we will study various methods for proving the reliability of deep neural networks. To this end, we will work with the book "Introduction to Neural Network Verification" by Aws Albarghouthi and select current research papers. Please note that this seminar will focus on formal methods, including topics related to logic and automated reasoning. It is not about deep learning.
lecturer
SWS
2
Lehrsprache
englisch