LectureTechnologyFree

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-26T11:30:00+02:00
Location: ETH Zurich

Tue, 26 May 2026 at 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 Open in Maps

Free entry

Indoor

About

Academic talk at ETH Zurich on computer-aided proofs for first-order optimization, covering performance estimation software and applications to error feedback — aimed at researchers, students and practitioners in optimization and ML.

VibeIntellectual Professional

AudienceStudents Professionals Adults

TagsFirst-order methods Optimization Performance estimation Computer-aided proofs Error feedback Machine learning ETH Zurich

View Event