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

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.