Praktikum: 2.01.494 Applied Verification Lab: Neural Networks - Details

Praktikum: 2.01.494 Applied Verification Lab: Neural Networks - Details

Sie sind nicht in Stud.IP angemeldet.

Allgemeine Informationen

Veranstaltungsname Praktikum: 2.01.494 Applied Verification Lab: Neural Networks
Untertitel inf494
Veranstaltungsnummer 2.01.494
Semester SoSe2022
Aktuelle Anzahl der Teilnehmenden 11
erwartete Teilnehmendenanzahl 12
Heimat-Einrichtung Department für Informatik
Veranstaltungstyp Praktikum in der Kategorie Lehre
Erster Termin Mittwoch, 20.04.2022 12:15 - 13:45, Ort: A03 2-209
Art/Form 2P
Teilnehmende The intended audience is computer science or math students with background in algorithms, logic, and deep neural networks.
Voraussetzungen We assume familiarity with algorithms and logic. In-depth familiarity with deep learning is not required, but you should know how to train neural networks. Basic Python skills are required. Please contact the instructor should you be unsure if you have the necessary background.
Lehrsprache englisch

Räume und Zeiten

A03 2-209
Mittwoch: 12:15 - 13:45, wöchentlich (14x)

Kommentar/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.

Anmelderegeln

Diese Veranstaltung gehört zum Anmeldeset "Anmeldung gesperrt (global)".
Erzeugt durch den Stud.IP-Support
Folgende Regeln gelten für die Anmeldung:
  • Die Anmeldung ist gesperrt.