Alternatives and similar repositories for eran:

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

• eth-sri / diffai
  A certifiable defense against adversarial examples by training neural networks to be provably robust
  ☆219Updated 9 months ago
• NeuralNetworkVerification / Marabou
  ☆286Updated 3 weeks ago
• tcwangshiqi-columbia / Neurify
  The released code of Neurify in NIPS 2018
  ☆49Updated 2 years ago
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆59Updated 5 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 4 months ago
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Updated 6 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 last month
• 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)
  ☆281Updated 3 months 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
  ☆123Updated 3 weeks ago
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 3 years ago
• TrustAI / Literature-on-DNN-Verification-and-Testing
  ☆47Updated 6 years ago
• TrustAI / DeepConcolic
  Concolic Testing for Deep Neural Networks
  ☆119Updated 3 years ago
• Verified-Intelligence / auto_LiRPA
  auto_LiRPA: An Automatic Linear Relaxation based Perturbation Analysis Library for Neural Networks and General Computational Graphs
  ☆307Updated last month
• guykatzz / ReluplexCav2017
  ☆101Updated 4 years ago
• locuslab / smoothing
  Provable adversarial robustness at ImageNet scale
  ☆387Updated 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…
  ☆94Updated 3 years ago
• locuslab / convex_adversarial
  A method for training neural networks that are provably robust to adversarial attacks.
  ☆387Updated 3 years ago
• stanleybak / vnncomp2022
  ☆17Updated 2 years ago
• stanleybak / vnncomp2023
  Fourth edition of VNN COMP (2023)
  ☆16Updated 2 years ago
• tcwangshiqi-columbia / symbolic_interval
  The library for symbolic interval
  ☆21Updated 4 years ago
• AI-secure / Certified-Robustness-SoK-Oldver
  This repo keeps track of popular provable training and verification approaches towards robust neural networks, including leaderboards on …
  ☆99Updated 2 years ago
• evaluating-adversarial-robustness / adv-eval-paper
  LaTeX source for the paper "On Evaluating Adversarial Robustness"
  ☆255Updated 4 years ago
• DeepImportance / deepimportance_code_release
  ☆24Updated 4 years ago
• safednn-nasa / Prophecy
  Property Inference from Deep Neural Networks
  ☆20Updated last year
• coinse / sadl
  Code release of a paper "Guiding Deep Learning System Testing using Surprise Adequacy"
  ☆46Updated 2 years ago
• longph1989 / Socrates
  ☆28Updated 2 years ago
• google-research / selfstudy-adversarial-robustness
  ☆123Updated 3 years ago
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆28Updated 5 years ago