Alternatives and similar repositories for ReluVal

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

• tcwangshiqi-columbia / Neurify

  View on GitHub
  The released code of Neurify in NIPS 2018
  ☆50Dec 8, 2022Updated 3 years ago
• tcwangshiqi-columbia / symbolic_interval

  View on GitHub
  The library for symbolic interval
  ☆22Jun 23, 2020Updated 5 years ago
• guykatzz / ReluplexCav2017

  View on GitHub
  ☆101Jul 8, 2020Updated 5 years ago
• oval-group / PLNN-verification

  View on GitHub
  All code for the Piecewise Linear Neural Networks verification: A comparative study paper
  ☆35Nov 7, 2018Updated 7 years ago
• progirep / planet

  View on GitHub
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆43Feb 5, 2019Updated 7 years ago
• KaidiXu / Beta-CROWN

  View on GitHub
  β-CROWN: Efficient Bound Propagation with Per-neuron Split Constraints for Neural Network Verification
  ☆31Nov 9, 2021Updated 4 years ago
• sisl / NNet

  View on GitHub
  Documentation and scripts related to the .nnet file format. This file format specifies a simple text file to define feed-forward, fully-c…
  ☆40Mar 24, 2025Updated 10 months ago
• VNN-COMP / vnncomp2021

  View on GitHub
  VNN Neural Network Verification Competition 2021
  ☆36Jul 17, 2021Updated 4 years ago
• NeuralNetworkVerification / Marabou

  View on GitHub
  ☆311Nov 2, 2025Updated 3 months ago
• vas-group-imperial / venus

  View on GitHub
  Venus is a state-of-the-art sound and complete verification toolkit for Relu-based feed-forward neural networks. It can be used to check…
  ☆15Aug 31, 2022Updated 3 years ago
• VeriDeep / DLV

  View on GitHub
  Safety Verification of Deep Neural Networks
  ☆50Feb 5, 2018Updated 8 years ago
• stanleybak / nnenum

  View on GitHub
  Neural Network Enumeration Tool
  ☆34Jan 8, 2026Updated last month
• verivital / nnv

  View on GitHub
  Neural Network Verification Software Tool
  ☆137Jan 22, 2026Updated 3 weeks ago
• VNN-COMP / vnncomp2022

  View on GitHub
  ☆17Aug 2, 2022Updated 3 years ago
• vtjeng / MIPVerify.jl

  View on GitHub
  Evaluating Robustness of Neural Networks with Mixed Integer Programming
  ☆117Jan 1, 2026Updated last month
• VNN-COMP / vnncomp2023

  View on GitHub
  Fourth edition of VNN COMP (2023)
  ☆16Apr 12, 2023Updated 2 years ago
• BanditFuzz / BanditFuzz_Public

  View on GitHub
  Public BanditFuzz Repo
  ☆12Jan 12, 2021Updated 5 years ago
• VNN-COMP / vnncomp2023_benchmarks

  View on GitHub
  Benchmarks for the VNN Comp 2023
  ☆16Jun 7, 2024Updated last year
• oval-group / GNN_branching

  View on GitHub
  Implementation of GNN ReLU branching strategies
  ☆10Feb 13, 2021Updated 5 years ago
• mldiego / AcasXu

  View on GitHub
  Verification and simulation of an autonomous control system for unmanned aircraft
  ☆12Jan 3, 2022Updated 4 years ago
• tcwangshiqi-columbia / GCP-CROWN

  View on GitHub
  The official repo for GCP-CROWN paper
  ☆13Sep 26, 2022Updated 3 years ago
• eth-sri / eran

  View on GitHub
  ETH Robustness Analyzer for Deep Neural Networks
  ☆343Jan 27, 2023Updated 3 years ago
• surrealyz / verified-global-properties

  View on GitHub
  Learning Security Classifiers with Verified Global Robustness Properties (CCS'21) https://arxiv.org/pdf/2105.11363.pdf
  ☆28Dec 1, 2021Updated 4 years ago
• VNN-COMP / vnncomp2020

  View on GitHub
  ☆14Mar 25, 2023Updated 2 years ago
• huanzhang12 / CertifiedReLURobustness

  View on GitHub
  Efficient Robustness Verification for ReLU networks (this repository is outdated, don't use; checkout our new implementation at https://g…
  ☆30Nov 1, 2019Updated 6 years ago
• KaidiXu / LiRPA_Verify

  View on GitHub
  Code for paper "Fast and Complete: Enabling Complete Neural Network Verification with Rapid and Massively Parallel Incomplete Verifiers"
  ☆17Jan 27, 2023Updated 3 years ago
• Verified-Intelligence / alpha-beta-CROWN

  View on GitHub
  alpha-beta-CROWN: An Efficient, Scalable and GPU Accelerated Neural Network Verifier (winner of VNN-COMP 2021, 2022, 2023, 2024, 2025)
  ☆345Jan 17, 2026Updated last month
• max-andr / cross-lipschitz

  View on GitHub
  Formal Guarantees on the Robustness of a Classifier against Adversarial Manipulation [NeurIPS 2017]
  ☆18Apr 8, 2018Updated 7 years ago
• IBM / CROWN-Robustness-Certification

  View on GitHub
  CROWN: A Neural Network Verification Framework for Networks with General Activation Functions
  ☆39Dec 13, 2018Updated 7 years ago
• MachSMT / MachSMT

  View on GitHub
  MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers
  ☆25Apr 21, 2023Updated 2 years ago
• YihanWang617 / On-ell_p-Robustness-of-Ensemble-Stumps-and-Trees

  View on GitHub
  Code of On L-p Robustness of Decision Stumps and Trees, ICML 2020
  ☆10Aug 3, 2020Updated 5 years ago
• abstract-machine-learning / saver

  View on GitHub
  SVM Abstrac Verifier tool
  ☆12Oct 13, 2022Updated 3 years ago
• chenhongge / treeVerification

  View on GitHub
  [NeurIPS 2019] H. Chen*, H. Zhang*, S. Si, Y. Li, D. Boning and C.-J. Hsieh, Robustness Verification of Tree-based Models (*equal contrib…
  ☆27Jun 15, 2019Updated 6 years ago
• sisl / NeuralVerification.jl

  View on GitHub
  Methods to soundly verify deep neural networks
  ☆235May 1, 2025Updated 9 months ago
• GLaDOS-Michigan / I4

  View on GitHub
  The code base for the I4 prototype, as described in the SOSP '19 paper "I4: Incremental Inference of Inductive Invariants for Verificatio…
  ☆26May 25, 2021Updated 4 years ago
• max-andr / provably-robust-boosting

  View on GitHub
  Provably Robust Boosted Decision Stumps and Trees against Adversarial Attacks [NeurIPS 2019]
  ☆50Apr 25, 2020Updated 5 years ago
• google-deepmind / interval-bound-propagation

  View on GitHub
  This repository contains a simple implementation of Interval Bound Propagation (IBP) using TensorFlow: https://arxiv.org/abs/1810.12715
  ☆161Dec 20, 2019Updated 6 years ago
• CUMLSec / stateformer

  View on GitHub
  ☆61Dec 5, 2024Updated last year
• CUMLSec / XDA

  View on GitHub
  ☆86Nov 5, 2024Updated last year