API Documentation

∇-Prox is a domain-specific language (DSL) and compiler that transforms optimization problems into differentiable proximal solvers.

Index

• Proximal Algorithms

• Proximal Functions

• Linear Operators

• Linear System Solver