microsoft / NeuralNetworkAnalysisLinks
Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.
☆21Updated 8 years ago
Alternatives and similar repositories for NeuralNetworkAnalysis
Users that are interested in NeuralNetworkAnalysis are comparing it to the libraries listed below
Sorting:
- ☆101Updated 5 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆30Updated 5 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- ☆10Updated 8 years ago
- Program Synthesis☆145Updated 4 years ago
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆108Updated 6 years ago
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆43Updated 6 years ago
- A Learning Environment for Theorem Proving☆75Updated 3 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Updated 6 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 6 months ago
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆86Updated last year
- ☆22Updated 4 years ago
- Safety Verification of Deep Neural Networks☆50Updated 7 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated 3 months ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- Automated Reasoning in Nonlinear Theories of Reals☆170Updated last month
- Deepcoder paper implementation☆120Updated 2 years ago
- Automated Controller Synthesis☆15Updated 7 years ago
- Reachability Analysis of Deep Neural Networks with Provable Guarantees☆36Updated 5 years 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☆50Updated 4 years ago
- Hype: Compositional Machine Learning and Hyperparameter Optimization☆144Updated 5 years ago
- Changes to SciPy for the Numpy-refactor project and move to numpy 2.0.☆21Updated 13 years ago
- Karel dataset for program synthesis and program induction☆79Updated 7 years ago
- Adversarial Image Perturbation for Privacy Protection -- A Game Theory Perspective, ICCV'17☆29Updated 7 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆25Updated 3 years ago
- Tensorflow is not only an well designed deep learning toolbox, but also a standard symbolic programming framework. In this repository, we…☆12Updated 6 years ago
- Tree Stack Memory Units☆17Updated 5 years ago