Chordal Sparsity for SDP-based Neural Network Verification

1 code implementation • 7 Jun 2022 • Anton Xue, Lars Lindemann, Rajeev Alur

Neural networks are central to many emerging technologies, but verifying their correctness remains a major challenge.

Chordal Sparsity for Lipschitz Constant Estimation of Deep Neural Networks

1 code implementation • 2 Apr 2022 • Anton Xue, Lars Lindemann, Alexander Robey, Hamed Hassani, George J. Pappas, Rajeev Alur

Lipschitz constants of neural networks allow for guarantees of robustness in image classification, safety in controller design, and generalizability beyond the training data.

Image Classification Navigate

Data-Driven System Level Synthesis

1 code implementation • 20 Nov 2020 • Anton Xue, Nikolai Matni

We establish data-driven versions of the System Level Synthesis (SLS) parameterization of achievable closed-loop system responses for a linear-time-invariant system over a finite-horizon.