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:
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Open Source Tsetlin Machine framework☆17Updated 6 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- Program synthesis☆12Updated 9 years ago
- The Charon tool for analyzing neural network robustness☆14Updated 5 years ago
- Drona is a programming framework for building safe robotics systems☆30Updated 3 years ago
- Implementation of the paper "Automatic Program Synthesis of Long Programs with a Learned Garbage Collector"☆49Updated 4 years ago
- Changes to SciPy for the Numpy-refactor project and move to numpy 2.0.☆21Updated 13 years ago
- A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.☆18Updated 2 years ago
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Updated last month
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- ☆33Updated 6 years ago
- ☆101Updated 4 years ago
- ☆43Updated 7 years ago
- Forward Modeling for Partial Observation Strategy Games - A StarCraft Defogger☆31Updated 3 years ago
- Automatic differentiation for NumPy☆42Updated 12 years ago
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆108Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆22Updated last year
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆28Updated 5 years ago
- ☆10Updated 8 years ago
- deep learning for math☆30Updated 6 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
- .NET bindings for the Pytorch engine☆17Updated 5 years ago
- Running the most popular deep learning frameworks on Azure Batch AI☆24Updated 2 years ago
- ProbLog 2 is now at https://github.com/ML-KULeuven/problog☆10Updated 6 years ago
- Dynamic programming inference by continuation hashing.☆29Updated 10 years ago
- SRI LibPoly is a C library for manipulating polynomials☆51Updated last week
- Program Synthesis☆145Updated 4 years ago
- Large-Scale Graph Inference☆12Updated 7 months ago
- An experimental distributed execution engine☆22Updated 4 years ago