Code for "Automatic repair of convex optimization problems".
☆14Feb 4, 2020Updated 6 years ago
Alternatives and similar repositories for cvxpyrepair
Users that are interested in cvxpyrepair are comparing it to the libraries listed below. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- ☆15Jun 8, 2023Updated 3 years ago
- Cone program refinement☆10Mar 6, 2020Updated 6 years ago
- Convert CVXPY expressions to PyTorch expressions☆18Jul 8, 2025Updated last year
- ☆12Mar 4, 2014Updated 12 years ago
- Portfolio Construction using Stratified Models☆13Mar 25, 2021Updated 5 years ago
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Package contains algorithms to calculate smallest enclosing sphere for a given set of points in N dimensions.☆12Feb 8, 2020Updated 6 years ago
- Generators for linear programming instances with controllable difficulty and solution properties.☆14Apr 26, 2021Updated 5 years ago
- Extension of Convex.jl for disciplined multiconvex optimization☆10Feb 22, 2017Updated 9 years ago
- Lossless convexification new results (mixed-integer problems)☆38Nov 25, 2019Updated 6 years ago
- Source code for the examples accompanying the paper "Learning convex optimization control policies."☆86Nov 14, 2022Updated 3 years ago
- Successive Convexification for Nonlinear Model Predictive Control with Continuous-Time Constraint Satisfaction☆11Jan 20, 2026Updated 9 months ago
- ☆14Oct 3, 2022Updated 4 years ago
- A forward McCormick operator library☆18Oct 19, 2026Updated last week
- SwitchTimeOpt.jl - Switching Time Optimization in Julia☆16Apr 1, 2024Updated 2 years ago
- Managed Database hosting by DigitalOcean • AdPostgreSQL, MySQL, MongoDB, Kafka, Valkey, and OpenSearch available. Automatically scale up storage and focus on building your apps.
- Successive Convexification for Trajectory Optimization with Continuous-Time Constraint Satisfaction☆16May 29, 2024Updated 2 years ago
- The Machine Learning Optimizer☆105Feb 10, 2023Updated 3 years ago
- Julia Package for Sigmoidal Programming☆14May 13, 2023Updated 3 years ago
- Convex optimization over risk-neutral probabilities.☆15Apr 22, 2020Updated 6 years ago
- Quantifier Elimination by Partial Cylindrical Algebraic Decomposition☆28Apr 22, 2026Updated 6 months ago
- Distributed Optimization: Analysis and Synthesis via Circuits☆23Mar 10, 2026Updated 7 months ago
- A gradient-based outer approximation solver for convex mixed-integer nonlinear programming (MINLP)☆61Apr 11, 2025Updated last year
- Code and data related to CVXPY benchmarks.☆14Oct 21, 2026Updated last week
- Official implementation of "FLARE: Verifying MILP Reformulations with LLM-Based Theorem Proving"☆13Aug 27, 2026Updated 2 months ago
- End-to-end encrypted email - Proton Mail • AdSpecial offer: 40% Off Yearly / 80% Off First Month. All Proton services are open source and independently audited for security.
- Successive Convexification with Continuous-Time Constraint Satisfaction☆17Sep 13, 2024Updated 2 years ago
- Self-Tuning Optimized Kalman Filtering (STOK) + DyNet simulation + connectivity metrics☆13May 10, 2021Updated 5 years ago
- Disciplined convex stochastic programming. For the cvxstoc home page, please see:☆32Sep 15, 2020Updated 6 years ago
- Portfolio optimization☆18Sep 10, 2026Updated last month
- Recyclable Gaussian Processes☆11Dec 8, 2022Updated 3 years ago
- Differentiation through cone programs☆121May 20, 2026Updated 5 months ago
- Nearest Neighbor Kernel Conditional Density Estimation☆12May 9, 2020Updated 6 years ago
- We consider the problem of online trajectory design under time-varying environments. We formulate the general trajectory optimization pro…☆12Jan 1, 2020Updated 6 years ago
- Tool to support backtests☆54Updated this week
- GPUs on demand by Runpod - Special Offer Available • AdRun AI, ML, and HPC workloads on powerful cloud GPUs—without limits or wasted spend. Deploy GPUs in under a minute and pay by the second.
- Convex optimization modeling in Lean 4☆76May 31, 2024Updated 2 years ago
- Scripts for our paper ``Factor Augmented Sparse Throughput Deep Neural Networks for High Dimensional Regression''☆13Mar 18, 2025Updated last year
- Implementation of "Successive Convexification for 6-DoF Mars Rocket Powered Landing with Free-Final-Time"☆80Feb 21, 2019Updated 7 years ago
- A high level path planning solver for the SAT-TSP problem described in "An SMT-Based Approach to Motion Planning for Multiple Robots with…☆11May 18, 2017Updated 9 years ago
- Package for implementation of Model Predictive Control in Autonomous Bots☆10Jun 25, 2020Updated 6 years ago
- critical line algorithm for efficient frontier☆24Updated this week
- ☆22Jun 20, 2025Updated last year