Alternatives and similar repositories for ReluDiff-ICSE2020-Artifact

Users that are interested in ReluDiff-ICSE2020-Artifact are comparing it to the libraries listed below

• JmfanBU / ReachNNStar

  View on GitHub
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Mar 25, 2023Updated 2 years ago
• gavlegoat / charon

  View on GitHub
  The Charon tool for analyzing neural network robustness
  ☆13Mar 19, 2020Updated 5 years ago
• NeVerTools / pyNeVer

  View on GitHub
  A Python library for learning and verification of neural networks and other machine learning models
  ☆13Sep 18, 2025Updated 4 months ago
• tcwangshiqi-columbia / Neurify

  View on GitHub
  The released code of Neurify in NIPS 2018
  ☆50Dec 8, 2022Updated 3 years ago
• google-deepmind / deep-verify

  View on GitHub
  ☆19Nov 11, 2019Updated 6 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
• TrustAI / DeepGame

  View on GitHub
  A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
  ☆20Dec 16, 2020Updated 5 years ago
• eth-sri / deepg

  View on GitHub
  Certifying Geometric Robustness of Neural Networks
  ☆16Mar 24, 2023Updated 2 years ago
• VNN-COMP / vnncomp2021

  View on GitHub
  VNN Neural Network Verification Competition 2021
  ☆36Jul 17, 2021Updated 4 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
• huanzhang12 / CROWN-Robustness-Certification

  View on GitHub
  CROWN: A Neural Network Robustness Certification Algorithm for General Activation Functions (This repository is outdated; use https://git…
  ☆17Nov 29, 2018Updated 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
• huanzhang12 / CROWN-IBP

  View on GitHub
  Certified defense to adversarial examples using CROWN and IBP. Also includes GPU implementation of CROWN verification algorithm (in PyTor…
  ☆98Jun 7, 2021Updated 4 years ago
• stanleybak / hylaa

  View on GitHub
  Hylaa: A Tool for Formal Verification of Hybrid Automata with Linear ODEs
  ☆28Mar 21, 2023Updated 2 years ago
• reactive-systems / deepltl

  View on GitHub
  Official implementation of Teaching Temporal Logics to Neural Networks (https://arxiv.org/abs/2003.04218)
  ☆32Feb 10, 2022Updated 4 years ago
• Drona-Org / Drona

  View on GitHub
  Drona is a programming framework for building safe robotics systems
  ☆30Apr 29, 2022Updated 3 years ago
• TrustAI / DeepGO

  View on GitHub
  Reachability Analysis of Deep Neural Networks with Provable Guarantees
  ☆36Feb 25, 2020Updated 5 years ago
• Conturing / affinitree

  View on GitHub
  ☆10Mar 24, 2025Updated 10 months 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
• Shaddadi / veritex

  View on GitHub
  ☆12Jun 18, 2024Updated last year
• doganulus / reelay

  View on GitHub
  A header-only C++ library for system-level verification and declarative testing of real-time systems with Python bindings.
  ☆41Jan 3, 2026Updated last month
• matlab-deep-learning / resnet-101

  View on GitHub
  Repo for ResNet-101 model
  ☆13Oct 10, 2019Updated 6 years ago
• 1c7 / aws-tutorials

  View on GitHub
  AWS 中文教程 | 读英文文档太久，读中文文档都是机翻，谷歌搜中文博客内容也不多，干脆做个列表列一下，方便找
  ☆12May 23, 2021Updated 4 years ago
• tkawata1025 / PepperTabletEmulator

  View on GitHub
  ☆13Feb 7, 2016Updated 10 years ago
• ZhaoyangLyu / FROWN

  View on GitHub
  Fastened CROWN: Tightened Neural Network Robustness Certificates
  ☆10Feb 10, 2020Updated 6 years ago
• pmusau17 / rtreach_f1tenth

  View on GitHub
  real time reachability for the f1Tenth platform
  ☆11Jan 19, 2022Updated 4 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
• AI-secure / VeriGauge

  View on GitHub
  A united toolbox for running major robustness verification approaches for DNNs. [S&P 2023]
  ☆90Mar 24, 2023Updated 2 years ago
• uni-helper / uni-helper-vscode

  View on GitHub
  uni-app 的 VSCode 扩展包
  ☆16Nov 30, 2025Updated 2 months ago
• yamadapc / haskell-hspec-setup

  View on GitHub
  Add a hspec test-suite in one command
  ☆10Aug 22, 2016Updated 9 years ago
• bravit / bob19-tutorial-types

  View on GitHub
  ☆12Jan 2, 2026Updated last month
• fredpdavis / mdlabbook

  View on GitHub
  mdlabbook is a markdown-format lab notebook
  ☆11Jan 11, 2017Updated 9 years ago
• bbuenz / provisions

  View on GitHub
  Provisions: Privacy-preserving proofs of solvency for Bitcoin
  ☆14Jan 10, 2016Updated 10 years ago
• corca-ai / CorcaOR-Solver-QKP

  View on GitHub
  [Corca / OR] Solver for Multi-dimensional Multi-demand Quadratic Knapsack Problems
  ☆12Mar 22, 2022Updated 3 years ago
• cioc / ray-kubernetes

  View on GitHub
  Ray Framework (https://github.com/ray-project/ray) on Kubernetes
  ☆12Oct 12, 2018Updated 7 years ago
• opencompl / xdsl-smt

  View on GitHub
  The implementation of an SMTLib dialect for xDSL
  ☆17Updated this week
• AniZpZ / smoothquant

  View on GitHub
  [ICML 2023] SmoothQuant: Accurate and Efficient Post-Training Quantization for Large Language Models
  ☆11Dec 13, 2023Updated 2 years ago
• CAPDGroup / CAPD

  View on GitHub
  CAPD library
  ☆16Jan 4, 2026Updated last month
• FarseerNet / fops.net

  View on GitHub
  适合于开发人员的运维管理平台（基于ASP.NET Core Blazor 5语言编写）
  ☆11Feb 18, 2024Updated last year