PEPFlow#

Welcome to PEPFlow!

PEPFlow builds on the Performance Estimation Problem (PEP) framework, a powerful approach for analyzing the convergence of optimization algorithms. In essence, PEP formulates performance guarantees of an algorithm into tractable optimization problems and helps provide analytical proofs of convergence. PEPFlow streamlines the entire PEP workflow, making PEP-based analysis more accessible and efficient.

Provide user input Formulate Primal PEP Numerically verify convergence rate Relax primal PEP via interactive dashboard Find analytical proofs Verify analytical proofs

PEPFlow offers the following key features for building a systematic and interactive workflow:

  • automated process for formulating and solving PEPs;

  • interactive dashboard to explore and search exact relaxations of primal PEPs;

  • direct access to key mathematical objects for deriving and verifying analytical proofs.

PEPFlow, as well as this website, is under active development. Stay tuned!