certified-defense-models

There are 2 repositories under certified-defense-models topic.

  • Verified-Intelligence/auto_LiRPA

    auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs

    Language:Python29088577

  • zbh2047/L_inf-dist-net

    [ICML 2021] This is the official github repo for training L_inf dist nets with high certified accuracy.

    Language:Python41217