VortragTechnologyGratis

Computer-aided proofs in first-order optimization, with applications to error feedback.

Name: Computer-aided proofs in first-order optimization, with applications to error feedback.
Start: 2026-05-26T09:30:00Z
Location: ETH Zurich

Di., 26. Mai 2026 um 11:30

ETH Zurich

ETH Zürich, 130, Binzmühlestrasse, Oerlikon, Kreis 11, Zürich, Bezirk Zürich, Zürich, 8050, Schweiz/Suisse/Svizzera/Svizra

Oerlikon Maps

Eintritt frei

Drinnen

Beschreibung

Akademischer Vortrag an der ETH Zurich über computerunterstützte Beweise für Optimierung erster Ordnung, mit Vorstellung von Performance‑Estimation‑Software und Anwendungen im Bereich Error‑Feedback — richtet sich an Forschende, Studierende und Praktikerinnen und Praktiker in Optimierung und ML.

StimmungIntellektuell Professionell

PublikumStudenten Fachleute Erwachsene

Tagsfirst-order methods optimization performance estimation computer-aided proofs error feedback machine learning ETH Zurich

Zur VeranstaltungAlle Events