EURO 2024 Copenhagen
Abstract Submission

EURO-Online login

2815. Constructive approaches to the analysis and construction of optimization algorithms

Invited abstract in session WC-32: Computer-Assisted Proofs in Optimization, stream Advances in large scale nonlinear optimization.

Wednesday, 12:30-14:00
Room: 41 (building: 303A)

Authors (first author is the speaker)

1. Adrien Taylor
Inria/ENS

Abstract

In this talk, I will provide a high-level overview of recent principled approaches for constructively analyzing and designing numerical optimization algorithms. The presentation will be example-based, as the main ingredients necessary for understanding the methodologies are already present in the analysis of base optimization schemes, such as gradient descent. Based on those examples, I will discuss how those techniques can be leveraged for constructing Lyapunov-based analyses and optimal convex optimization algorithms. The methodology can be accessed through easy-to-use open source packages (including PEPit: https://github.com/PerformanceEstimation/PEPit), allowing to use the framework without the modelling pain. This talk is based on joint works with great colleagues that I will introduce during the presentation.

Keywords

Status: accepted


Back to the list of papers