Alternatives and similar repositories for NeuralNetworkAnalysis:

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

• PL-ML / metal
  Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis
  ☆15Updated 6 years ago
• gavlegoat / charon
  The Charon tool for analyzing neural network robustness
  ☆13Updated 4 years ago
• google / dl_bounds
  ☆17Updated 6 years ago
• guykatzz / ReluplexCav2017
  ☆101Updated 4 years ago
• AutomataDotNet / Automata
  Automata and transducer library for .NET
  ☆80Updated 4 years ago
• souradeep-111 / sherlock
  Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.
  ☆28Updated 4 years ago
• TrustAI / DeepGame
  A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees
  ☆20Updated 4 years ago
• xiaoweih / DLV
  ☆9Updated 8 years ago
• surban / TensorAlgDiff
  Automatic Differentiation for Tensor Algebras
  ☆29Updated 6 years ago
• microsoft / NativeKeras
  Native implementation of a Keras-style API. Uses the Cognitive Toolking (CNTK) as backend.
  ☆20Updated 2 years ago
• dreal / dreal3
  There is a new version of dReal, available at https://github.com/dreal/dreal4
  ☆49Updated 3 years ago
• oval-group / oval-bab
  OVAL framework for BaB-based Neural Network Verification
  ☆13Updated last year
• TrustAI / DeepGO
  Reachability Analysis of Deep Neural Networks with Provable Guarantees
  ☆36Updated 4 years ago
• 95616ARG / SyReNN
  SyReNN: Symbolic Representations for Neural Networks
  ☆40Updated last year
• HiroakiMikami / deep-coder
  Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)
  ☆107Updated 5 years ago
• sferes2 / nn2
  **Sferes2 module** generic toolbox for evolving neural networks
  ☆13Updated 5 years ago
• Drona-Org / Drona
  Drona is a programming framework for building safe robotics systems
  ☆29Updated 2 years ago
• microsoft / jackknife-variational-inference
  Demonstration of Jackknife Variational Inference for Variational Autoencoders, related to ICLR 2018 paper.
  ☆21Updated 7 years ago
• dselsam / neurocore-public
  NeuroCore: Guiding CDCL with Unsat-Core Predictions
  ☆44Updated 5 years ago
• JmfanBU / ReachNNStar
  Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)
  ☆17Updated last year
• microsoft / rudder
  Static analysis of MSIL based on the analysis-net infrastructure
  ☆19Updated 2 years ago
• mhutch / cbinding
  Updated MonoDevelop C/C++ binding
  ☆22Updated 7 years ago
• nearai / program_synthesis
  Program Synthesis
  ☆144Updated 3 years ago
• verivital / vnn-comp
  ☆12Updated last year
• carpedm20 / karel
  Karel dataset for program synthesis and program induction
  ☆79Updated 7 years ago
• smaccm / smaccm
  ☆33Updated 5 years ago
• IBM / grammar2pddl
  Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…
  ☆17Updated last year
• umangm / realsyn
  Automated Controller Synthesis
  ☆15Updated 6 years ago
• JUrban / deepmath
  deep learning for math
  ☆29Updated 5 years ago
• SyGuS-Org / tools
  A set of basic tools for manipulating SyGuS benchmarks
  ☆22Updated last year