1 citations · 2 across the 6 of their papers we have counts for
Showing 2025 · math.OCShow all
2 papers · 2 filters
math.OC2025
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…
math.OC2025★ 1 cited
A Lyapunov analysis of Korpelevich's extragradient method with fast and flexible extensions
Manu Upadhyaya, Puya Latafat, Pontus Giselsson
We develop a Lyapunov-based analysis of Korpelevich's extragradient method and show that it achieves an last-iterate convergence rate of the constructed Lyapunov function.…