Flexible Differentiable Optimization via Model Transformations

06/10/2022
by   Mathieu Besançon, et al.
0

We introduce DiffOpt.jl, a Julia library to differentiate through the solution of optimization problems with respect to arbitrary parameters present in the objective and/or constraints. The library builds upon MathOptInterface, thus leveraging the rich ecosystem of solvers and composing well with modeling languages like JuMP. DiffOpt offers both forward and reverse differentiation modes, enabling multiple use cases from hyperparameter optimization to backpropagation and sensitivity analysis, bridging constrained optimization with end-to-end differentiable programming. DiffOpt is built on two known rules for differentiating quadratic programming and conic programming standard forms. However, thanks ability to differentiate through model transformation, the user is not limited to these forms and can differentiate with respect to the parameters of any model that can be reformulated into these standard forms. This notably includes programs mixing affine conic constraints and convex quadratic constraints or objective function.

READ FULL TEXT
research
10/28/2019

Differentiable Convex Optimization Layers

Recent work has shown how to embed differentiable optimization problems ...
research
12/30/2019

Pontryagin Differentiable Programming: An End-to-End Learning and Control Framework

This paper develops a Pontryagin differentiable programming (PDP) method...
research
02/10/2021

Differentiable Generative Phonology

The goal of generative phonology, as formulated by Chomsky and Halle (19...
research
03/01/2017

OptNet: Differentiable Optimization as a Layer in Neural Networks

This paper presents OptNet, a network architecture that integrates optim...
research
10/22/2018

ensmallen: a flexible C++ library for efficient function optimization

We present ensmallen, a fast and flexible C++ library for mathematical o...
research
08/16/2023

SCQPTH: an efficient differentiable splitting method for convex quadratic programming

We present SCQPTH: a differentiable first-order splitting method for con...
research
03/09/2020

Flexible numerical optimization with ensmallen

This report provides an introduction to the ensmallen numerical optimiza...

Please sign up or login with your details

Forgot password? Click here to reset