Computer-aided proofs in first-order optimization, with applications to error feedback.
26. May 2026
11:30 - 12:30
| Zürich Oerlikon, OAT X 11, ETH AI Center
Host: Fanny Yang, ETH AI Center Faculty
Speaker: Aymeric Dieuleveut
Registration: forms.gle/VN9Hy78cGcqWX5Nq9
Registration required
Language: English