Alternatives and similar repositories for eran:

Users that are interested in eran are comparing it to the libraries listed below

• NeuralNetworkVerification / Marabou
  ☆274Updated last week
• Verified-Intelligence / alpha-beta-CROWN
  alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, and 2024)
  ☆265Updated 3 weeks ago
• eth-sri / diffai
  A certifiable defense against adversarial examples by training neural networks to be provably robust
  ☆219Updated 6 months ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 2 months ago
• tcwangshiqi-columbia / Neurify
  The released code of Neurify in NIPS 2018
  ☆47Updated 2 years ago
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆57Updated 4 years ago
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆38Updated 3 years ago
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Updated 6 years ago
• VeriDeep / DLV
  Safety Verification of Deep Neural Networks
  ☆50Updated 7 years ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 2 years ago
• verivital / nnv
  Neural Network Verification Software Tool
  ☆119Updated this week
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆117Updated 3 years ago
• sisl / NNet
  Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…
  ☆40Updated 2 months ago
• guykatzz / ReluplexCav2017
  ☆101Updated 4 years ago
• Verified-Intelligence / auto_LiRPA
  auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
  ☆295Updated last month
• google-deepmind / jax_verify
  Neural network verification in JAX
  ☆141Updated last year
• TrustAI / Literature-on-DNN-Verification-and-Testing
  ☆47Updated 6 years ago
• safednn-nasa / Prophecy
  Property Inference from Deep Neural Networks
  ☆20Updated last year
• locuslab / smoothing
  Provable adversarial robustness at ImageNet scale
  ☆383Updated 5 years ago
• huanzhang12 / CROWN-IBP
  Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…
  ☆93Updated 3 years ago
• stanleybak / vnncomp2022
  ☆17Updated 2 years ago
• stanleybak / vnncomp2023
  Fourth edition of VNN COMP (2023)
  ☆16Updated last year
• evaluating-adversarial-robustness / adv-eval-paper
  LaTeX source for the paper "On Evaluating Adversarial Robustness"
  ☆252Updated 3 years ago
• tcwangshiqi-columbia / symbolic_interval
  The library for symbolic interval
  ☆20Updated 4 years ago
• verivital / vnn-comp
  ☆12Updated last year
• vas-group-imperial / VeriNet
  The VeriNet toolkit for verification of neural networks
  ☆20Updated last year
• locuslab / convex_adversarial
  A method for training neural networks that are provably robust to adversarial attacks.
  ☆383Updated 3 years ago
• longph1989 / Socrates
  ☆27Updated 2 years ago
• uiuc-arc / FANC
  FANC is a tool for the proof transfer of incomplete verification
  ☆10Updated 2 years ago
• oval-group / PLNN-verification
  All code for the Piecewise Linear Neural Networks verification: A comparative study paper
  ☆35Updated 6 years ago