BEGIN:VCALENDAR
PRODID:-//Event Calendar 2.0//iCal4j 2.0//EN
CALSCALE:GREGORIAN
VERSION:2.0
BEGIN:VEVENT
DTSTAMP:20260915T210159Z
DTSTART:20260210T171500
DTEND:20260210T190000
SUMMARY:Guido Montufar : Algebraic Methods for Robustness Verification in Neural Networks 
TZID:Europe/Berlin
UID:event-1757653173928@events.goettingen-campus.de
LOCATION:Institut für Numerische und Angewandte Mathematik - MN55
CONTACT:Nadine Kapusniak\, n.kapusniak@math.uni-goettingen.de\, 0551 39 24195
CATEGORIES:research
DESCRIPTION:Robustness verification asks whether a neural network’s prediction remains stable under small input perturbations\, a problem that is computationally challenging and often addressed through relaxations or heuristics. In this talk\, I present an algebraic-geometric approach to robustness verification\, formulating it as a distance minimization problem to the network’s decision boundary. This perspective brings tools from metric algebraic geometry into play\, in particular the Euclidean Distance (ED) degree\, which measures the intrinsic complexity of verification as a function of network architecture. I will introduce the associated ED discriminant\, which identifies inputs where the number of real critical points changes\, and a parameter discriminant\, which characterizes parameter regimes of reduced algebraic complexity. Finally\, I discuss algorithms for computing these objects\, closed-form results for several architectures\, and an exact robustness certification algorithm based on numerical homotopy continuation. Joint work with Yulia Alexandr and Hao Duan. \n\nTitle: NAMColloquium: Algebraic Methods for Robustness Verification in Neural Networks\nSpeaker: Guido Montufar \nOrganizer: Institut für Numerische und Angewandte Mathematik\, Fakultät für Mathematik und Informatik\nHost: Jun.Prof. Dr. Max Pfeffer\nContact: Nadine Kapusniak\, n.kapusniak@math.uni-goettingen.de\, 0551 39 24195\n
URL:https://events.goettingen-campus.de/event?eventId=1757653173928
END:VEVENT
END:VCALENDAR