A Python package for automated Lyapunov-based convergence analysis of first-order optimization and inclusion methods.
AutoLyap streamlines the process of constructing and verifying Lyapunov analyses by formulating them as semidefinite programs (SDPs). It supports a broad class of structured optimization and inclusion problems, automating proofs of linear or sublinear convergence rates for many well‑known algorithms.
User guide and API reference: ➡️ https://autolyap.github.io
The complete mathematical development and examples to get started are available in the companion paper on arXiv.
pip install autolyapAutoLyap depends on:
