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
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆108Updated 6 years ago
- ☆10Updated 8 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆29Updated 5 years ago
- A Learning Environment for Theorem Proving☆75Updated 3 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆23Updated 2 years ago
- Deepcoder paper implementation☆119Updated 2 years ago
- Automated Reasoning in Nonlinear Theories of Reals☆169Updated 2 weeks ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 5 months ago
- Safety Verification of Deep Neural Networks☆50Updated 7 years ago
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆42Updated 6 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆25Updated 3 years ago
- ☆42Updated 8 years ago
- An curated list of papers on program synthesis.☆69Updated 6 years 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
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆67Updated last year
- Utilities used in the experiments for the DeepCoder paper (ICLR'17)☆61Updated 2 years ago
- ☆12Updated last year
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- Automata and transducer library for .NET☆81Updated 5 years ago
- Hype: Compositional Machine Learning and Hyperparameter Optimization☆144Updated 5 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- Changes to SciPy for the Numpy-refactor project and move to numpy 2.0.☆21Updated 13 years ago
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- Karel dataset for program synthesis and program induction☆79Updated 7 years ago
- ☆47Updated 6 years ago
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆42Updated 8 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated 2 months ago