Repositories list

• auto_LiRPA

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

  robustnessadversarial-machine-learningadversarial-examples+ 5

  robustnessadversarial-machine-learningadversarial-examplesadversarial-defenserobustness-verificationibp-boundscrown-boundcertified-defense-models

  Python

  •

  Other

  •103103 forks•343343 stars•1616 issues•11 pull request•Updated Feb 3, 2026Feb 3, 2026

• alpha-beta-CROWN

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

  neural-networksformal-verificationrobustness+ 4

  neural-networksformal-verificationrobustnessadversarial-examplesadversarial-robustnessrobustness-verificationneural-network-verification

  Python

  •

  Other

  •9393 forks•364364 stars•3636 issues•00 pull requests•Updated Jan 17, 2026Jan 17, 2026

• Clip_and_Verify

  Public
  The repo for the paper Clip-and-Verify: Linear Constraint-Driven Domain Clipping for Accelerating Neural Network Verification

  Python

  •

  MIT License

  •00 forks•33 stars•00 issues•00 pull requests•Updated Dec 10, 2025Dec 10, 2025

• abCROWN_Control_Tutorial

  Public
  Guidance and examples for using auto_LiRPA and alpha-beta-CROWN in control research

  Python

  •11 fork•44 stars•00 issues•00 pull requests•Updated Dec 4, 2025Dec 4, 2025

• Two-Stage_Neural_Controller_Training

  Public
  Two-Stage Learning of Stabilizing Neural Controllers via Zubov Sampling and Iterative Domain Expansion

  Python

  •

  MIT License

  •11 fork•77 stars•11 issue•11 pull request•Updated Sep 27, 2025Sep 27, 2025

• alpha-beta-CROWN_vnncomp2025

  Public
  Python

  •

  Other

  •00 forks•11 star•00 issues•00 pull requests•Updated Sep 17, 2025Sep 17, 2025

• onnx2pytorch

  Public
  Customized onnx2pytorch package for alpha-beta-CROWN verifier. Original version at https://github.com/Talmaj/onnx2pytorch

  Python

  •

  Apache License 2.0

  •11 fork•44 stars•00 issues•11 pull request•Updated Jun 30, 2025Jun 30, 2025

• CROWN-Reach

  Public
  A reachability analysis tool for neural network controlled system, based on the alpha-beta-CROWN framework

  Python

  •22 forks•99 stars•11 issue•00 pull requests•Updated Oct 4, 2024Oct 4, 2024

• alpha-beta-CROWN_vnncomp2024

  Public
  Python

  •

  Other

  •44 forks•22 stars•00 issues•00 pull requests•Updated Aug 24, 2024Aug 24, 2024

• Lyapunov_Stable_NN_Controllers

  Public
  Lyapunov-stable Neural Control for State and Output Feedback

  neural-networksformal-verificationneural-control+ 3

  neural-networksformal-verificationneural-controllyapunov-stabilityneural-network-verificationneural-lyapunov-function

  Python

  •

  MIT License

  •2121 forks•8686 stars•00 issues•00 pull requests•Updated Jul 15, 2024Jul 15, 2024

• alpha-beta-CROWN_vnncomp23

  Public
  Python

  •

  BSD 3-Clause "New" or "Revised" License

  •00 forks•55 stars•00 issues•00 pull requests•Updated Aug 10, 2023Aug 10, 2023