collaborators

1 paper

math.OC2026

Toward a Systematic Understanding and Interactive Search of Lyapunov-Style Proofs in Optimization

TaeHo Yoon, Jaewook J. Suh, Edward Duc Hien Nguyen +2

Lyapunov-style convergence proofs, which establish a nonincreasing sequence to provide a quantitative convergence rate for an algorithm, are popular and often considered desirable…