Pinned Loading

1. projSplitFit projSplitFit Public

   Projective Splitting for data fitting problems

   Python 5 2

2. FormalConvexOpt FormalConvexOpt Public

   A Formalization of Convex Optimization Solvers in the Lean Proof Assistant

   Lean

3. proj_split_mpi proj_split_mpi Public

   Parallel implementation of projective splitting using MPI in Python (mpi4py package)

   Python

4. projective-splitting/just-continuity projective-splitting/just-continuity Public

   Code that reproduces the results in the paper "Projective Splitting with Forward Steps only Requires Continuity", Patrick R. Johnstone and Jonathan Eckstein, https://arxiv.org/pdf/1809.07180.pdf

   Python

5. projective-splitting/coco projective-splitting/coco Public

   This is the Python code for running the experiments given in https://arxiv.org/pdf/1902.09025.pdf, "Single-forward-step projective splitting: Exploiting cocoercivity", Patrick R. Johnstone and Jona…

   Python 1 1

6. distributedPS distributedPS Public

   Distributed Projective Splitting using PyTorch's Distributed Package

   Python