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. GOB GOB Public

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

   C++ 2

3. GPEP GPEP Public

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

   Jupyter Notebook 1

4. 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

5. pyGKLS pyGKLS Public

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

   C++ 3

6. Lean-Formalization Lean-Formalization Public

   Formalization of some mathematical results using Lean 4 and Mathlib.

   Lean 1