← Search

Adrien Taylor

11 accepted papers

2026

A Tight Theory of Error Feedback Algorithms in Distributed Optimization

ICML 2026poster

Communication costs are a major bottleneck in distributed learning and first-order optimization. A common approach to alleviate this issue is to compress the gradient information exchanged between agents. However, such compression typically degrades the convergence guarantees of gradient-based metho…

Cited by 0SourceScholar
2025

The Surprising Agreement Between Convex Optimization Theory and Learning-Rate Scheduling for Large Model Training

ICML 2025poster

We show that learning-rate schedules for large model training behave surprisingly similar to a performance bound from non-smooth convex optimization theory. We provide a bound for the constant schedule with linear cooldown; in particular, the practical benefit of cooldown is reflected in the bound d…

2025

Tight analyses of first-order methods with error feedback

NeurIPS 2025poster

Communication between agents often constitutes a major computational bottleneck in distributed learning. One of the most common mitigation strategies is to compress the information exchanged, thereby reducing communication overhead. To counteract the degradation in convergence associated with compre…

Cited by 0SourcecodeScholar
2024

Leveraging augmented-Lagrangian techniques for differentiating over infeasible quadratic programs in machine learning

ICLR 2024spotlight

Optimization layers within neural network architectures have become increasingly popular for their ability to solve a wide range of machine learning tasks and to model domain-specific knowledge. However, designing optimization layers requires careful consideration as the underlying optimization prob…

Cited by 3SourcePDFScholar
2023

Convergence of Proximal Point and Extragradient-Based Methods Beyond Monotonicity: the Case of Negative Comonotonicity

ICML 2023poster

Algorithms for min-max optimization and variational inequalities are often studied under monotonicity assumptions. Motivated by non-monotone machine learning applications, we follow the line of works (Diakonikolas et al., 2021; Lee & Kim, 2021; Pethick et al., 2022; Bohm,2022) aiming at going beyond…

2022

Fast Stochastic Composite Minimization and an Accelerated Frank-Wolfe Algorithm under Parallelization

NeurIPS 2022accept

We consider the problem of minimizing the sum of two convex functions. One of those functions has Lipschitz-continuous gradients, and can be accessed via stochastic oracles, whereas the other is ``simple''. We provide a Bregman-type algorithm with accelerated convergence in function values to a ball…

2022

Last-Iterate Convergence of Optimistic Gradient Method for Monotone Variational Inequalities

NeurIPS 2022accept

The Past Extragradient (PEG) [Popov, 1980] method, also known as the Optimistic Gradient method, has known a recent gain in interest in the optimization community with the emergence of variational inequality formulations for machine learning. Recently, in the unconstrained case, Golowich et al. [202…

2022

PROX-QP: Yet another Quadratic Programming Solver for Robotics and beyond

RSS 2022poster

Quadratic programming (QP) has become a core modelling component in the modern engineering toolkit. This is particularly true for simulation, planning and control in robotics. Yet, modern numerical solvers have not reached the level of efficiency and reliability required in practical applications wh…

2021

Continuized Accelerations of Deterministic and Stochastic Gradient Descents, and of Gossip Algorithms

NeurIPS 2021oral

We introduce the ``continuized'' Nesterov acceleration, a close variant of Nesterov acceleration whose variables are indexed by a continuous time parameter. The two variables continuously mix following a linear ordinary differential equation and take gradient steps at random times. This continuized…

Cited by 24SourcePDFScholar
2018

Lyapunov Functions for First-Order Methods: Tight Automated Convergence Guarantees

ICML 2018oral

We present a novel way of generating Lyapunov functions for proving linear convergence rates of first-order optimization methods. Our approach provably obtains the fastest linear convergence rate that can be verified by a quadratic Lyapunov function (with given states), and only relies on solving a…