8 citations · 9 across the 4 of their papers we have counts for
4 papers · 1 filter
The AutoLyap software suite for computer-assisted Lyapunov analyses of first-order methods
Manu Upadhyaya, Shuvomoy Das Gupta, Adrien B. Taylor +2
We introduce AutoLyap, a software suite that assists with Lyapunov analyses of a wide class of first-order methods for structured optimization and inclusion problems. Lyapunov anal…
The Chambolle--Pock method converges weakly with and
Sebastian Banert, Manu Upadhyaya, Pontus Giselsson
The Chambolle--Pock method is a versatile three-parameter algorithm designed to solve a broad class of composite convex optimization problems, which encompass two proper, lower sem…
Automated tight Lyapunov analysis for first-order methods
Manu Upadhyaya, Sebastian Banert, Adrien B. Taylor +1
We present a methodology for establishing the existence of quadratic Lyapunov inequalities for a wide range of first-order methods used to solve convex optimization problems. In pa…
DWIFOB: A Dynamically Weighted Inertial Forward-Backward Algorithm for Monotone Inclusions
Hamed Sadeghi, Sebastian Banert, Pontus Giselsson
We propose a novel dynamically weighted inertial forward-backward algorithm (DWIFOB) for solving structured monotone inclusion problems. The scheme exploits the globally convergent…