A Rewriting System for Convex Optimization Problems
Not on the map. Why?
Abstract (arXiv)
We describe a modular rewriting system for translating optimization problems written in a domain-specific language to forms compatible with low-level solver interfaces. Translation is facilitated by reductions, which accept a category of problems and transform instances of that category to equivalent instances of another category. Our system proceeds in two key phases: analysis, in which we attempt to find a suitable solver for a supplied problem, and canonicalization, in which we rewrite the problem in the selected solver's standard form. We implement the described system in version 1.0 of CVXPY, a domain-specific language for mathematical and especially convex optimization. By treating reductions as first-class objects, our method makes it easy to match problems to solvers well-suited for them and to support solvers with a wide variety of standard forms.
Key facts. Cited by 178 papers in the map (data through 7 Oct 2026). First posted on arXiv 13 Sep 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2020: 1; 2021: 33; 2022: 38; 2023: 30; 2024: 29; 2025: 30; 2026: 17.
178 papers.
Sort:
By area:
- 2023Quantifying & Modeling Multimodal Interactions: An Information Decomposition Frameworkcited by 81
- 2022Measuring the Effect of Training Data on Deep Learning Predictions via Randomized Experimentscited by 50
- 2023How to Trust Your Diffusion Model: A Convex Optimization Approach to Conformal Risk Controlcited by 50
- 2022Fast Convex Optimization for Two-Layer ReLU Networks: Equivalent Model Classes and Cone Decompositionscited by 31
- 2022A General Framework for Sample-Efficient Function Approximation in Reinforcement Learningcited by 31
- 2023Exploring and Interacting with the Set of Good Sparse Generalized Additive Modelscited by 30
- 2021Generalization Bounds for Meta-Learning via PAC-Bayes and Uniform Stabilitycited by 29
- 2021On Robust Optimal Transport: Computational Complexity and Barycenter Computationcited by 27
- 2022Gaussian Universality of Perceptrons with Random Labelscited by 26
- 2021Global Optimality Beyond Two Layers: Training Deep ReLU Networks via Convex Programscited by 25
- 2025AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs?cited by 24
- 2022OPOM: Customized Invisible Cloak towards Face Privacy Protectioncited by 22
38 more
- 2021Demystifying Batch Normalization in ReLU Networks: Equivalent Convex Optimization Models and Implicit Regularizationcited by 21
- 2021Multi-Agent Training beyond Zero-Sum with Correlated Equilibrium Meta-Solverscited by 21
- 2021Defense Against Reward Poisoning Attacks in Reinforcement Learningcited by 20
- 2021On the Convergence and Optimality of Policy Gradient for Markov Coherent Riskcited by 19
- 2022End-to-End Stochastic Optimization with Energy-Based Modelcited by 19
- 2021Gym-ANM: Reinforcement Learning Environments for Active Network Management Tasks in Electricity Distribution Systemscited by 18
- 2022Near-Optimal Collaborative Learning in Banditscited by 18
- 2022On Unbalanced Optimal Transport: Gradient Methods, Sparsity and Approximation Errorcited by 16
- 2024Linear Recursive Feature Machines provably recover low-rank matricescited by 16
- 2022Efficient Global Optimization of Two-Layer ReLU Networks: Quadratic-Time Algorithms and Adversarial Trainingcited by 15
- 2021Neural Spectrahedra and Semidefinite Lifts: Global Convex Optimization of Polynomial Activation Neural Networks in Fully Polynomial-Timecited by 14
- 2021Path Regularization: A Convexity and Sparsity Inducing Regularization for Parallel ReLU Networkscited by 14
- 2023Implicit Poisoning Attacks in Two-Agent Reinforcement Learning: Adversarial Policies for Training-Time Attackscited by 14
- 2021Boosted CVaR Classificationcited by 12
- 2021Constrained Instance and Class Reweighting for Robust Learning under Label Noisecited by 12
- 2023Improved Algorithms for Stochastic Linear Bandits Using Tail Bounds for Martingale Mixturescited by 12
- 2023A Symmetry-Aware Exploration of Bayesian Neural Network Posteriorscited by 12
- 2025Distributionally Robust Reinforcement Learning with Human Feedbackcited by 12
- 2022Fair Generalized Linear Models with a Convex Penaltycited by 11
- 2023Loss Balancing for Fair Supervised Learningcited by 11
- 2025The Nuclear Route: Sharp Asymptotics of ERM in Overparameterized Quadratic Networkscited by 11
- 2022Personalized Federated Learning via Convex Clusteringcited by 10
- 2022Turbocharging Solution Concepts: Solving NEs, CEs and CCEs with Neural Equilibrium Solverscited by 10
- 2024Incentivizing Quality Text Generation via Statistical Contractscited by 10
- 2021FL-Market: Trading Private Models in Federated Learningcited by 9
- 2021PAGnol: An Extra-Large French Generative Modelcited by 9
- 2024Testing Calibration in Nearly-Linear Timecited by 9
- 2021Risk-Averse Stochastic Shortest Path Planningcited by 8
- 2021On Multimarginal Partial Optimal Transport: Equivalent Forms and Computational Complexitycited by 8
- 2022Beyond the Return: Off-policy Function Estimation under User-specified Error-measuring Distributionscited by 8
- 2021City-scale Scene Change Detection using Point Cloudscited by 7
- 2021OnSlicing: Online End-to-End Network Slicing with Reinforcement Learningcited by 7
- 2023Adversarial Ink: Componentwise Backward Error Attacks on Deep Learningcited by 7
- 2023fairret: a Framework for Differentiable Fairness Regularization Termscited by 7
- 2023The Convex Landscape of Neural Networks: Characterizing Global Optima and Stationary Points via Lasso Modelscited by 7
- 2021Training Quantized Neural Networks to Global Optimality via Semidefinite Programmingcited by 6
- 2022Metrizing Fairnesscited by 6
- 2022Gradient-descent quantum process tomography by learning Kraus operatorscited by 6
50 most cited of 178 All 178 (JSON)
- 2026Reachability-Informed Reinforcement Learning for Multi-Impulse Interplanetary Transfers1 Oct 2026
- 2026Disciplined Bilevel Programming1 Sep 2026
- 2026Nonlinear Axiomatic Attribution for Cooperative Games10 Jul 2026
- 2026Distribution-Agnostic Robust Trajectory Optimization via Chance-Constrained Reinforcement Learning11 Jun 2026
- 2026A Robust Optimization Approach to Sparse Principal Component Analysis2 Jun 2026
- 2026Federated Learning by Utility-Constrained Stochastic Aggregation for Improving Rational Participation18 May 2026
- 2026Convex Dataset Valuation for Post-Training15 May 2026
- 2026Quantum End-to-End Learning for Contextual Combinatorial Optimization13 May 2026
- 2026BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization27 Apr 2026
- 2026Parametric Nonconvex Optimization via Convex Surrogates7 Apr 2026
- 2026On Linear Separability of the MNIST Handwritten Digits Dataset13 Mar 2026
- 2026[Re] FairDICE: A Fair Tradeoff in Multi-objective Offline RL3 Mar 2026
38 more
- 2026Asymptotically Optimal Sequential Testing with Markovian Data19 Feb 2026
- 2026Bulk-Calibrated Credal Ambiguity Sets: Fast, Tractable Decision Making under Out-of-Sample Contamination29 Jan 2026
- 2026Optimal Transport Group Counterfactual Explanations28 Jan 2026
- 2026Randomized Feasibility Methods for Constrained Optimization with Adaptive Step Sizes27 Jan 2026
- 2026Learning to Optimize by Differentiable Programming23 Jan 2026
- 2025Fitting Reinforcement Learning Model to Behavioral Data under Bandits6 Nov 2025
- 2025Disciplined Biconvex Programming3 Nov 2025
- 2025A Simple Method for PMF Estimation on Large Supports16 Oct 2025
- 2025Improving cosmological reach of a gravitational wave observatory using Deep Loop Shaping17 Sep 2025
- 2025Maximum diversity and weighting for invariants of periodic time series14 Sep 2025
- 2025Revisiting Deep AC-OPF31 Aug 2025
- 2025Cluster Topology-Driven Placement of Experts Reduces Network Traffic in MoE Inference12 Aug 2025
- 2025Metric Learning in an RKHS6 Aug 2025
- 2025Multi-objective Portfolio Optimization Via Gradient Descent22 Jul 2025
- 2025AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs?19 Jul 2025
- 2025Monotone and Conservative Policy Iteration Beyond the Tabular Case8 Jun 2025
- 2025Leveraging Analytic Gradients in Provably Safe Reinforcement Learning2 Jun 2025
- 2025Optimal kernel regression bounds under energy-bounded noise28 May 2025
- 2025Scalable and adaptive prediction bands with kernel sum-of-squares27 May 2025
- 2025The Nuclear Route: Sharp Asymptotics of ERM in Overparameterized Quadratic Networks23 May 2025
- 2025The Stochastic Occupation Kernel (SOCK) Method for Learning Stochastic Differential Equations16 May 2025
- 2025Direct Data Driven Control Using Noisy Measurements9 May 2025
- 2025SPoRt -- Safe Policy Ratio: Certified Training and Deployment of Task Policies in Model-Free RL8 Apr 2025
- 2025Multi-convex Programming for Discrete Latent Factor Models Prototyping2 Apr 2025
- 2025FedSCA: Federated Tuning with Similarity-guided Collaborative Aggregation for Heterogeneous Medical Image Segmentation19 Mar 2025
- 2025Efficient and Accurate Estimation of Lipschitz Constants for Hybrid Quantum-Classical Decision Models11 Mar 2025
- 2025Safe Explicable Policy Search10 Mar 2025
- 2025Ensemble Debiasing Across Class and Sample Levels for Fairer Prompting Accuracy7 Mar 2025
- 2025Distributionally Robust Reinforcement Learning with Human Feedback1 Mar 2025
- 2025Distributionally Robust Active Learning for Gaussian Process Regression24 Feb 2025
- 2025Generalized Attention Flow: Feature Attribution for Transformer Models via Maximum Flow14 Feb 2025
- 2025Smooth Sailing: Lipschitz-Driven Uncertainty Quantification for Spatial Association9 Feb 2025
- 2025Physically consistent predictive reduced-order modeling by enhancing Operator Inference with state constraints5 Feb 2025
- 2025Solving Inverse Problem for Multi-armed Bandits via Convex Optimization31 Jan 2025
- 2025Learning under Commission and Omission Event Outliers23 Jan 2025
- 2024Vector Optimization with Gaussian Process Bandits3 Dec 2024
- 2024Isometry pursuit27 Nov 2024
- 2024Decision Making under the Exponential Family: Distributionally Robust Optimisation with Bayesian Ambiguity Sets25 Nov 2024
50 newest of 178 All 178 (JSON)
- 2023Quantifying & Modeling Multimodal Interactions: An Information Decomposition Frameworkcited by 81
- 2022Measuring the Effect of Training Data on Deep Learning Predictions via Randomized Experimentscited by 50
- 2022Fast Convex Optimization for Two-Layer ReLU Networks: Equivalent Model Classes and Cone Decompositionscited by 31
- 2022A General Framework for Sample-Efficient Function Approximation in Reinforcement Learningcited by 31
- 2023Exploring and Interacting with the Set of Good Sparse Generalized Additive Modelscited by 30
- 2021Generalization Bounds for Meta-Learning via PAC-Bayes and Uniform Stabilitycited by 29
- 2021On Robust Optimal Transport: Computational Complexity and Barycenter Computationcited by 27
- 2022Gaussian Universality of Perceptrons with Random Labelscited by 26
- 2021Global Optimality Beyond Two Layers: Training Deep ReLU Networks via Convex Programscited by 25
- 2025AlgoTune: Can Language Models Speed Up General-Purpose Numerical Programs?cited by 24
- 2022OPOM: Customized Invisible Cloak towards Face Privacy Protectioncited by 22
- 2021Demystifying Batch Normalization in ReLU Networks: Equivalent Convex Optimization Models and Implicit Regularizationcited by 21
12 most cited of 171 All 171 (JSON)
- 2026Reachability-Informed Reinforcement Learning for Multi-Impulse Interplanetary Transfers1 Oct 2026
- 2026Disciplined Bilevel Programming1 Sep 2026
- 2026Nonlinear Axiomatic Attribution for Cooperative Games10 Jul 2026
- 2026Distribution-Agnostic Robust Trajectory Optimization via Chance-Constrained Reinforcement Learning11 Jun 2026
- 2026A Robust Optimization Approach to Sparse Principal Component Analysis2 Jun 2026
- 2026Federated Learning by Utility-Constrained Stochastic Aggregation for Improving Rational Participation18 May 2026
- 2026Convex Dataset Valuation for Post-Training15 May 2026
- 2026Quantum End-to-End Learning for Contextual Combinatorial Optimization13 May 2026
- 2026BoxLitE: A Faithful Knowledge Base Embedding Based on Convex Optimization27 Apr 2026
- 2026Parametric Nonconvex Optimization via Convex Surrogates7 Apr 2026
- 2026On Linear Separability of the MNIST Handwritten Digits Dataset13 Mar 2026
- 2026Asymptotically Optimal Sequential Testing with Markovian Data19 Feb 2026
12 newest of 171 All 171 (JSON)