Skip to content

CMU Locus Lab

Zico Kolter's Research Group


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

    Python 339 81

  2. TCN Public

    Sequence modeling benchmarks and temporal convolutional networks

    Python 3.5k 819

  3. SATNet Public

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

    Python 364 43

  4. deq Public

    [NeurIPS'19] Deep Equilibrium Models

    Python 610 70

  5. smoothing Public

    Provable adversarial robustness at ImageNet scale

    Python 291 68

  6. convmixer Public

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

    Python 930 90