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
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated 2 years ago
• stanleybak / vnncomp2021
  VNN Neural Network Verification Competition 2021
  ☆36Updated 4 years ago
• guykatzz / ReluplexCav2017
  ☆101Updated 5 years ago
• VeriDeep / DLV
  Safety Verification of Deep Neural Networks
  ☆50Updated 7 years ago
• progirep / planet
  PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool
  ☆42Updated 6 years ago
• NeVerTools / pyNeVer
  A Python library for learning and verification of neural networks and other machine learning models
  ☆11Updated last month
• 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 5 months ago
• verivital / vnn-comp
  ☆14Updated 2 years ago
• NeuralNetworkVerification / Marabou
  ☆291Updated last month
• Shaddadi / veritex
  ☆12Updated last year
• tcwangshiqi-columbia / ReluVal
  The released code of ReluVal in USENIX Security 2018
  ☆60Updated 5 years ago
• google-deepmind / deep-verify
  ☆17Updated 5 years ago
• jia-kai / eevbnn
  Code for the NeurIPS 2020 paper Efficient Exact Verification of Binarized Neural Networks
  ☆13Updated 3 years ago
• verivital / nnv
  Neural Network Verification Software Tool
  ☆131Updated this week
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆29Updated 5 years ago
• dlshriver / dnnv
  A Framework for Deep Neural Network Verification
  ☆56Updated 8 months ago
• tcwangshiqi-columbia / Neurify
  The released code of Neurify in NIPS 2018
  ☆49Updated 2 years ago
• ChuyueSun / Clover
  Clover: Closed-Loop Verifiable Code Generation
  ☆35Updated 3 months ago
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆14Updated 5 years ago
• IBM / FormalML
  Formalization of Machine Learning Theory with Applications to Program Synthesis
  ☆76Updated 3 months ago
• stanleybak / nnenum
  Neural Network Enumeration Tool
  ☆34Updated 2 years ago
• jdnklau / fm-ml
  Collection of resources for research concerning Machine Learning and Formal Methods.
  ☆90Updated 3 years ago
• wilcoxjay / mypyvy
  A language for symbolic transitions system, inspired by Ivy.
  ☆70Updated 2 months ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆50Updated 4 years ago
• PL-ML / code2inv
  Code2Inv: Learning Loop Invariants for Program Verification
  ☆97Updated 4 years ago
• SatyendraBanjare / plt-formal-methods-resources
  Curated List of Research Focused Reading Materials & Videos for Learning about Programming Language Theory Research, Formal Methods and t…
  ☆58Updated 6 years ago
• realChrisHahn2 / nl2spec
  nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
  ☆46Updated last year
• coco-team / cocoSim2
  Automated Analysis Framework for Simulink/Stateflow
  ☆16Updated 2 years ago
• AD1024 / veripy
  Python3 auto-active verification library (migrated to an Intel project)
  ☆25Updated 3 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆45Updated 5 years ago