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:
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆20Updated 4 years ago
- T2 Temporal Prover☆95Updated 7 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆45Updated 5 years ago
- Implementation of DeepCoder's model in tensorflow☆21Updated 7 years ago
- Drona is a programming framework for building safe robotics systems☆30Updated 3 years ago
- The Verifiably Safe Reinforcement Learning Framework☆57Updated 3 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆28Updated 5 years ago
- LibPoly is a C library for manipulating polynomials☆50Updated last month
- Code that translates grammar into PDDL, runs a planner to produce multiple plans, translates plans into trainable lale pipelines and trai…☆18Updated last month
- ScalableJoins☆16Updated 9 years ago
- The semantics of Java in K☆18Updated 3 years ago
- ☆10Updated 8 years ago
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆108Updated 5 years ago
- The Charon tool for analyzing neural network robustness☆14Updated 5 years ago
- All code for the Piecewise Linear Neural Networks verification: A comparative study paper☆35Updated 6 years ago
- ☆102Updated 4 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- A compiler for BLOG probabilistic programming language☆26Updated 7 years ago
- A particle swarm optimization library created by Numenta for hyperparameter optimization.☆18Updated 9 years ago
- ☆33Updated 6 years ago
- DllExport Utility☆9Updated 13 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
- MachSMT: An ML-Driven Algorithm Selection tool for SMT Solvers☆24Updated 2 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- Modification to Coq to record intermediate proof states encountered during a proof☆8Updated 6 years ago
- Angara: the modelling environment https://www.microsoft.com/en-us/research/project/distribution-modeller☆25Updated last year
- Translating HTN planning problems to PDDL☆20Updated 3 years ago
- Automata and transducer library for .NET☆83Updated 4 years ago
- Open Source Tsetlin Machine framework☆17Updated 6 years ago