Pith. sign in

REVIEW 2 cited by

Differentiating Through a Cone Program

Not yet reviewed by Pith; the record is open.

This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.

SPECIMEN: schema-true, not a live event

T0 review · schema-true

One-sentence machine reading of the paper's core claim.

pith:XXXXXXXX · record.json · timestamp

arxiv 1904.09043 v4 pith:NI7HEODA submitted 2019-04-19 math.OC

classification math.OC
keywords coneprogramcoefficientscomputingderivativemethodsolutionadjoint
verification ladder T0 review T1 audit T2 compute T3 formal
0 comments
read the original abstract

We consider the problem of efficiently computing the derivative of the solution map of a convex cone program, when it exists. We do this by implicitly differentiating the residual map for its homogeneous self-dual embedding, and solving the linear systems of equations required using an iterative method. This allows us to efficiently compute the derivative operator, and its adjoint, evaluated at a vector. These correspond to computing an approximate new solution, given a perturbation to the cone program coefficients (i.e., perturbation analysis), and to computing the gradient of a function of the solution with respect to the coefficients. Our method scales to large problems, with numbers of coefficients in the millions. We present an open-source Python implementation of our method that solves a cone program and returns the derivative and its adjoint as abstract linear maps; our implementation can be easily integrated into software systems for automatic differentiation.

Discussion (0). Continue with ORCID to comment.

Forward citations

Cited by 2 Pith papers

Reviewed papers in the Pith corpus that reference this work. Sorted by Pith novelty score. Full citation record

  1. Back from the Future: Key-Value Cache Management by Counter-Causal Surprise

    cs.LG 2026-07 conditional novelty 6.0 of 10

    Past tokens that the model can predict from their future context are evicted from the KV cache, judged by a counter-causal attention pass that reuses cached keys and values.

  2. End-to-End Learning of Safe Optimal Feedback Control in High Dimensions with Control Barrier Function Layers

    cs.LG 2026-07 conditional novelty 6.0 of 10

    A scalable end-to-end training method for neural controllers with embedded control-barrier-function safety filters, demonstrated up to 1200 state dimensions and 400 control dimensions, with convergence guarantees unde...

Pith tools