CMU Locus Lab

Enforcing robust control guarantees within neural network policies

locuslab

locuslab

[ICML'20] Multi Steepest Descent (MSD) for robustness against the union of multiple perturbation models.

locuslab

Bridging deep learning and logical reasoning using a differentiable satisfiability solver.

locuslab

Companion code to "Learning Stable Deep Dynamics Models" (Manek and Kolter, 2019)

locuslab

Sequence modeling benchmarks and temporal convolutional networks

locuslab

[ICLR'19] Trellis Networks for Sequence Modeling

locuslab

Modern Fixed Point Systems using Pytorch

locuslab

A simple and effective LLM pruning approach.

locuslab

locuslab