neural-network-verification

There are 1 repository under neural-network-verification topic.

• Verified-Intelligence / alpha-beta-CROWN

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

  robustnessrobustness-verificationneural-networksadversarial-examplesadversarial-robustnessneural-network-verification
  Language:Python 207

• verivital / nnv

  Neural Network Verification Software Tool

  neural-networkverificationautonomycyber-physicalcyber-physical-systemsformal-methodsformal-verificationhybrid-systemsneural-network-verificationreachabilityreachability-analysisrobustness-verificationtrustworthy-aitrustworthy-machine-learningassured-autonomyneural-network-certificationsafe-aisafe-autonomy
  101
• dig

  dynaroars / dig

  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, including nonlinear equalities, octagonal and interval properties, min/max-plus relations, and congruence relations.

  symbolic-executioninvariant-generationdynamic-analysismachine-learningspecification-miningloop-invariantsprogram-verificationneural-network-verification
  Language:Python 33

• phK3 / DPNeurifyFV.jl

  Verification of neural networks based on input splitting and forward propagation of symbolic intervals with fresh variables.

  branch-and-boundneural-network-verificationneural-networks
  Language:Julia 1

• t1u4n / simplex-CROWN

  Uses the simplex to propose a tighter boundary for the l1 perturbation of the convex activation function network, improving the effect of the CROWN algorithm.

  crownneural-networkrobustnessadversarial-robustnessneural-network-verification
  Language:Python 1