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:
- A Learning Environment for Theorem Proving☆76Updated 3 years ago
- ☆101Updated 5 years ago
- A tool for obtaining LTL formulas from a sample of positive and negative words.☆26Updated 3 years ago
- Program Synthesis☆146Updated 4 years ago
- Sherlock is a tool for output range anaylsis of Deep Neural Networks with ReLU activation units.☆30Updated 5 years ago
- Probabilistic Answer Set Programming and Probabilistic SAT solving, based on Differentiable Satisfiability☆69Updated last year
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆47Updated 5 years ago
- Automated Reasoning in Nonlinear Theories of Reals☆179Updated this week
- ☆10Updated 9 years ago
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆107Updated 6 years ago
- Patched version of HOL Light with tactic logging for machine learning purposes☆34Updated 5 years ago
- SyReNN: Symbolic Representations for Neural Networks☆41Updated 2 years ago
- PLANET: a Piece-wise LineAr feed-forward NEural network verification Tool☆43Updated 7 years ago
- ☆35Updated 6 years ago
- There is a new version of dReal, available at https://github.com/dreal/dreal4☆50Updated 4 years ago
- A Python API for the MiniSat and MiniCard constraint solvers.☆22Updated last month
- DL2 is a framework that allows training neural networks with logical constraints over numerical values in the network (e.g. inputs, out…☆87Updated last year
- HOUDINI: Lifelong Learning as Program Synthesis☆49Updated 10 months ago
- DepQBF, a solver for quantified boolean formulae (QBF).☆39Updated 2 years ago
- Automated Controller Synthesis☆15Updated 7 years ago
- Exact Inference Engine for Probabilistic Programs☆135Updated 10 months ago
- Safety Verification of Deep Neural Networks☆50Updated 8 years ago
- Reachability Analysis Tool of Neural Network Controlled Systems (NNCSs)☆17Updated 2 years ago
- A set of basic tools for manipulating SyGuS benchmarks☆25Updated 2 years ago
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 6 years ago
- The Charon tool for analyzing neural network robustness☆13Updated 5 years ago
- Changes to SciPy for the Numpy-refactor project and move to numpy 2.0.☆21Updated 14 years ago
- Deepcoder paper implementation☆120Updated 2 years ago
- KeYmaera X: An aXiomatic Tactical Theorem Prover for Hybrid Systems (release)☆89Updated 2 months ago
- Deep learning library that builds on and extends Microsoft CNTK☆23Updated 5 years ago