microsoft / NeuralNetworkAnalysis
Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.
☆21Updated 7 years ago
Alternatives and similar repositories for NeuralNetworkAnalysis
Users that are interested in NeuralNetworkAnalysis are comparing it to the libraries listed below
Sorting:
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- The Charon tool for analyzing neural network robustness☆14Updated 5 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.☆18Updated 2 years ago
- A library that contains types for table representation and operations to manipulate with tables, as well as save and load them from text …☆15Updated 2 years ago
- Program synthesis☆12Updated 8 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- ScalableJoins☆16Updated 9 years ago
- Automata and transducer library for .NET☆80Updated 4 years ago
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆107Updated 5 years ago
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Updated 2 years ago
- SyReNN: Symbolic Representations for Neural Networks☆40Updated 2 years ago
- A Learning Environment for Theorem Proving☆73Updated 2 years ago
- Drona is a programming framework for building safe robotics systems☆29Updated 3 years ago
- ☆10Updated 8 years ago
- Mono LLVM Repository.☆59Updated 5 years ago
- Program Synthesis☆145Updated 4 years ago
- Implementation of DeepCoder's model in tensorflow☆21Updated 7 years ago
- Deepcoder paper implementation☆118Updated 2 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- A .NET framework for composing, evaluating, inspecting and persisting computational experiments which are represented as a dataflow.☆20Updated 2 years ago
- Dynamic programming inference by continuation hashing.☆29Updated 10 years ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆34Updated 2 years ago
- DllExport Utility☆9Updated 13 years ago
- PyTorch library for synthesizing programs from natural language☆18Updated 9 months ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆49Updated 3 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago