Safety Verification and Robustness Analysis of Neural Networks via Quadratic Constraints and Semidefinite Programming.
☆14Jun 28, 2021Updated 4 years ago
Alternatives and similar repositories for DeepSDP
Users that are interested in DeepSDP are comparing it to the libraries listed below
Sorting:
- ☆15Feb 25, 2026Updated last week
- Gradient descent algorithms for LQG control☆14Feb 20, 2022Updated 4 years ago
- ☆28Dec 22, 2024Updated last year
- PowerBiMIP is an open-source, efficient bilevel mixed-integer programming (BiMIP) solver, with a special focus on applications in power a…☆34Feb 26, 2026Updated last week
- ☆19Sep 22, 2025Updated 5 months ago
- ☆19Nov 20, 2025Updated 3 months ago
- Automated filament inking for creating colored filament for multi-color 3D printing.☆11Nov 11, 2022Updated 3 years ago
- QuESt Planning is a long-term power system capacity expansion planning model that identifies cost-optimal energy storage, generation, and…☆14Feb 4, 2026Updated last month
- A spring-model cloth physics simulator made using C/C++ and rendered in OpenGL☆15Jul 3, 2022Updated 3 years ago
- ☆13Oct 24, 2018Updated 7 years ago
- Verifying encodings into propositional logic in Lean☆14Aug 14, 2023Updated 2 years ago
- Source code for the paper titled: "Unlocking the full potential of smart charging: Addressing paused and delayed charging problems in ele…☆11May 22, 2024Updated last year
- Python implementation of Sum-of-Squares optimization built on picos☆39Oct 5, 2024Updated last year
- A 3D Eulerian grid fluid simulator library that features direct particle level set surface tracking and surface tension that uses height …☆11Oct 7, 2020Updated 5 years ago
- ☆12Mar 15, 2023Updated 2 years ago
- Example Systems using PowerDynamics.jl☆12Oct 10, 2022Updated 3 years ago
- ☆11Feb 6, 2017Updated 9 years ago
- Visualize linear programming at https://lpviz.net☆33Jan 20, 2026Updated last month
- Agent based simulation framework for validating planners in automated driving synthetic scenarios. This examples demonstrates overtake ma…☆11Nov 26, 2019Updated 6 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆175Jun 2, 2025Updated 9 months ago
- ☆38Jun 10, 2021Updated 4 years ago
- Unofficial implementation of the paper: "NeRF-In: Free-Form NeRF Inpainting with RGB-D Priors"☆11Apr 30, 2023Updated 2 years ago
- ☆13Nov 5, 2025Updated 4 months ago
- A Coq tactic for proving multivariate inequalities using SDP solvers☆12Feb 3, 2026Updated last month
- Yet Another SDP Solver☆10Dec 19, 2015Updated 10 years ago
- Template for Lean<->Rust FFI☆14Feb 11, 2024Updated 2 years ago
- This package generates power grid scenarios using GEMINI trained on historical grid asset actual and forecasted values.☆11Dec 8, 2025Updated 2 months ago
- An reimplementation of the Proost proof-assistant written in Lean 4☆12Mar 3, 2024Updated 2 years ago
- Implementation of Contrastive Neural Processes in PyTorch☆11Dec 7, 2022Updated 3 years ago
- Model predictive control–based value estimation for efficient reinforcement learning. This repository contains the code for the implement…☆11Nov 6, 2024Updated last year
- ☆10Aug 13, 2022Updated 3 years ago
- ☆17Sep 21, 2016Updated 9 years ago
- Tube-Based Zonotopic Data Driven Predictive Control☆11Nov 23, 2022Updated 3 years ago
- ☆11May 26, 2023Updated 2 years ago
- A Rust crate enabling generalized Interval representations and operations☆12Nov 3, 2024Updated last year
- ☆11Sep 1, 2020Updated 5 years ago
- Modelling and optimization for microgrids, energy hubs, distribution systems and transmission systems☆11Dec 14, 2022Updated 3 years ago
- A white box algorithm that generate adversarial examples according to the gradient☆11May 9, 2020Updated 5 years ago
- LAMPOS, a strategy-based solution approach for mp-MILPs for real-time mixed-integer MPC with sub-optimality quantification☆11Jun 25, 2023Updated 2 years ago