Stud.IP Uni Oldenburg
University of Oldenburg
15.08.2022 20:16:24
Seminar: 2.01.495 Verification of Neural Networks - Details
You are not logged into Stud.IP.

General information

Course name Seminar: 2.01.495 Verification of Neural Networks
Subtitle inf495
Course number 2.01.495
Semester Sommersemester 2022
Current number of participants 13
expected number of participants 12
Home institute Department of Computing Science
Courses type Seminar in category Teaching
First date Wed., 20.04.2022 16:15 - 17:45, Room: A03 2-209
Type/Form S
Participants The intended audience is computer science or math students with background in logic and algorithms.
Pre-requisites We assume familiarity with algorithms and logic. While basic knowledge of (deep) neural networks is helpful, in-depth familiarity with deep learning is not required. Please contact the instructor should you be unsure if you have the necessary background.
Lehrsprache englisch

Course location / Course dates

A03 2-209 Wed.. 16:15 - 17:45 (14x)


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.