neural-network-verification topic
List
neural-network-verification repositories
alpha-beta-CROWN
210
Stars
46
Forks
Watchers
alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, and 2023)
nnv
110
Stars
48
Forks
Watchers
Neural Network Verification Software Tool
dig
39
Stars
6
Forks
Watchers
DIG is a numerical invariant generation tool. It infers program invariants or properties over (i) program execution traces or (ii) program source code. DIG supports many forms of numerical invariants...
Lyapunov_Stable_NN_Controllers
53
Stars
11
Forks
Watchers
Lyapunov-stable Neural Control for State and Output Feedback