Pinned Loading

1. LipoCons LipoCons Public

   Lean formalization of the Proposition 3 of the the paper Global optimization of Lipschitz functions, Malherbe C. and Vayatis N., 2017.

   Lean

2. LeanGO LeanGO Public

   LeanGO is a Lean 4 library dedicated to the formalization of global optimization algorithms.

   Lean 1

3. GOB GOB Public

   GOB is a collection of global optimization algorithms implemented in C++ and linked with Python.

   C++ 2

4. GPEP GPEP Public

   GPEP is an experimental Python framework for computer-assisted worst-case analyses of first-order optimization methods.

   Jupyter Notebook 1

5. Lean-LIPO Lean-LIPO Public

   Lean formalization of the proof on the upper bound of the probability for LIPO to reject a candidate.

   Lean 1

6. pyGKLS pyGKLS Public

   pyGKLS is a Python wrapper for the GKLS generator of global optimization test functions (Giavano et al., 2003).

   C++ 3