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. We may earn a commission when you buy through links labeled 'Ad' on this page.
Sorting:
- Gradient descent algorithms for LQG control☆14Feb 20, 2022Updated 4 years ago
- ☆30Dec 22, 2024Updated last year
- ☆16Updated this week
- A white box algorithm that generate adversarial examples according to the gradient☆11May 9, 2020Updated 5 years ago
- 一个基于 Flask 的问卷调查应用。☆11Feb 2, 2023Updated 3 years ago
- 1-Click AI Models by DigitalOcean Gradient • AdDeploy popular AI models on DigitalOcean Gradient GPU virtual machines with just a single click and start building anything your business needs.
- Tube-Based Zonotopic Data Driven Predictive Control☆12Nov 23, 2022Updated 3 years ago
- A curated collection of papers and related projects on using LLMs for privacy.☆26Oct 8, 2025Updated 5 months ago
- PrivacyAsst: Safeguarding User Privacy in Tool-Using Large Language Model Agents (TDSC 2024)☆19Mar 29, 2024Updated last year
- Model predictive control–based value estimation for efficient reinforcement learning. This repository contains the code for the implement…☆11Nov 6, 2024Updated last year
- Unsupervised single image depth prediction with CNNs☆14Jun 25, 2021Updated 4 years ago
- [RA-L/ICRA2025] Official implementation for paper "Diverse Controllable Diffusion Policy with Signal Temporal Logic."☆34Oct 17, 2024Updated last year
- Matrix Lie group on 2D and 3D, and its application☆14Jun 29, 2020Updated 5 years ago
- Deep Reinforcement Learning methods for facilitating Automated Stock Trading☆21May 22, 2021Updated 4 years ago
- Automated filament inking for creating colored filament for multi-color 3D printing.☆11Nov 11, 2022Updated 3 years ago
- NordVPN Threat Protection Pro™ • AdTake your cybersecurity to the next level. Block phishing, malware, trackers, and ads. Lightweight app that works with all browsers.
- ☆30Oct 22, 2025Updated 5 months ago
- Un-official technical documents aimed at helping building Apollo auto-driving system on prototype cars☆10Jul 18, 2020Updated 5 years ago
- Manipulation Demo using mujoco-py☆14Jul 26, 2022Updated 3 years ago
- Solving MuJoCo environments with Deep Deterministic Policy Gradients☆14Sep 17, 2018Updated 7 years ago
- List of awesome university courses for learning Computer Science!☆14Oct 1, 2018Updated 7 years ago
- Unofficial implementation of the paper: "NeRF-In: Free-Form NeRF Inpainting with RGB-D Priors"☆11Apr 30, 2023Updated 2 years ago
- ☆15Feb 11, 2025Updated last year
- Attitude-Gyro bias estimation using matrix Fisher-Gaussian distributions☆13Jan 13, 2021Updated 5 years ago
- Optimal Turn-Right Trajectory using Pontryagin's Maximum Principle.☆12Jul 6, 2023Updated 2 years ago
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- Distribution and filtering on SO(3) x Euclidean space☆12Jun 24, 2022Updated 3 years ago
- ☆11Feb 6, 2017Updated 9 years ago
- Python implementation of Sum-of-Squares optimization built on picos☆40Oct 5, 2024Updated last year
- Neural Lyapunov control of unknown nonlinear systems with stability guarantees☆15Mar 30, 2023Updated 2 years ago
- A Julia package that provides (feedback) particle filters for nonlinear stochastic filtering and data assimilation problems☆12Mar 17, 2023Updated 3 years ago
- ☆14Apr 16, 2021Updated 4 years ago
- ☆55Aug 30, 2023Updated 2 years ago
- NOCAD - Network based Observability and Controlability Analysis of Dynamical Systems toolbox for MATLAB and Octave☆13Jul 15, 2019Updated 6 years ago
- SIMBa☆14Feb 14, 2025Updated last year
- Virtual machines for every use case on DigitalOcean • AdGet dependable uptime with 99.99% SLA, simple security tools, and predictable monthly pricing with DigitalOcean's virtual machines, called Droplets.
- ☆13Oct 24, 2018Updated 7 years ago
- IROS'16/IJRR "Sparse Sensing for Resource-Constrained Depth Reconstruction"☆50Mar 26, 2020Updated 6 years ago
- This repository contains a PyTorch implementation of the ICSE'26 paper "Scrub It Out! Erasing Sensitive Memorization in Code Language Mod…☆30Sep 18, 2025Updated 6 months ago
- A spring-model cloth physics simulator made using C/C++ and rendered in OpenGL☆16Jul 3, 2022Updated 3 years ago
- ☆17Sep 21, 2016Updated 9 years ago
- Synthesizing neural-network Lyapunov functions (and controllers) as stability certificate.☆177Jun 2, 2025Updated 9 months ago
- Code Repo for paper Label Leakage and Protection in Two-party Split Learning (ICLR 2022).☆22Mar 12, 2022Updated 4 years ago