ibp-bounds

There are 2 repositories under ibp-bounds topic.

  • Verified-Intelligence/auto_LiRPA

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

    Language:Python26986967

  • huanzhang12/CROWN-IBP

    Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTorch).

    Language:Python9310613