Skip to content
@Verified-Intelligence

Verified Intelligence

Formal verification tools for AI. Led by Prof. Huan Zhang at UIUC, developed by a multi-institutional team from UIUC/CMU/UCLA/Drexel/Colombia

Popular repositories Loading

  1. auto_LiRPA auto_LiRPA Public

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

    Python 269 67

  2. alpha-beta-CROWN alpha-beta-CROWN Public

    alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)

    Python 215 51

  3. Lyapunov_Stable_NN_Controllers Lyapunov_Stable_NN_Controllers Public

    Lyapunov-stable Neural Control for State and Output Feedback

    Python 35 9

  4. alpha-beta-CROWN_vnncomp23 alpha-beta-CROWN_vnncomp23 Public

    Python 4

Repositories

Showing 4 of 4 repositories
  • alpha-beta-CROWN Public

    alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)

    Verified-Intelligence/alpha-beta-CROWN’s past year of commit activity
    Python 215 51 20 0 Updated Jun 3, 2024
  • Lyapunov_Stable_NN_Controllers Public

    Lyapunov-stable Neural Control for State and Output Feedback

    Verified-Intelligence/Lyapunov_Stable_NN_Controllers’s past year of commit activity
    Python 35 MIT 9 0 0 Updated May 17, 2024
  • auto_LiRPA Public

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

    Verified-Intelligence/auto_LiRPA’s past year of commit activity
    Python 269 67 24 1 Updated Apr 13, 2024
  • alpha-beta-CROWN_vnncomp23 Public
    Verified-Intelligence/alpha-beta-CROWN_vnncomp23’s past year of commit activity
    Python 4 BSD-3-Clause 0 0 0 Updated Aug 10, 2023

Top languages

Loading…

Most used topics

Loading…