microsoft / NeuralNetworkAnalysisLinks
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:
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆108Updated 5 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Updated 2 years ago
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- A suite of machine learning tools for modeling viral adaptation to host immune responses.☆12Updated 2 years ago
- Demonstration of Jackknife Variational Inference for Variational Autoencoders, related to ICLR 2018 paper.☆21Updated 7 years ago
- Running the most popular deep learning frameworks on Azure Batch AI☆24Updated 2 years ago
- ☆17Updated 7 years ago
- **Sferes2 module** generic toolbox for evolving neural networks☆13Updated 6 years ago
- Forward Modeling for Partial Observation Strategy Games - A StarCraft Defogger☆31Updated 3 years ago
- The Charon tool for analyzing neural network robustness☆14Updated 5 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- .NET bindings for the Pytorch engine☆17Updated 5 years ago
- An attempt at replicating Deepmind's Neural Turing Machines in Theano☆11Updated 8 years ago
- Implementation of DeepCoder's model in tensorflow☆21Updated 7 years ago
- Automatic differentiation for NumPy☆42Updated 12 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆64Updated last year
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Neural Network engine for Veles distributed machine learning platform☆27Updated 9 years ago
- Python-based HEX implementation for a fragment of the HEX language and a subset of features.☆14Updated 3 years ago
- Large-Scale Graph Inference☆12Updated 8 months ago
- ☆101Updated 5 years ago
- Open Source Tsetlin Machine framework☆17Updated 6 years ago
- Program Synthesis☆145Updated 4 years ago
- Conditional Associative Logic Memory☆27Updated 7 years ago
- An curated list of papers on program synthesis.☆69Updated 5 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago
- Python bindings for libNVVM☆37Updated 11 years ago
- Automata and transducer library for .NET☆82Updated 4 years ago