CMU Locus Lab

Pinned Loading

1. convex_adversarial convex_adversarial Public

   A method for training neural networks that are provably robust to adversarial attacks.

   Python 392 84

2. TCN TCN Public

   Sequence modeling benchmarks and temporal convolutional networks

   Python 4.6k 892

3. SATNet SATNet Public

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

   Python 435 57

4. deq deq Public

   [NeurIPS'19] Deep Equilibrium Models

   Python 808 90

5. smoothing smoothing Public

   Provable adversarial robustness at ImageNet scale

   Python 415 81

6. convmixer convmixer Public

   Implementation of ConvMixer for "Patches Are All You Need? 🤷"

   Python 1.1k 98