microsoft / NeuralNetworkAnalysis
Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.
☆21Updated 7 years ago
Related projects: ⓘ
- A satisfiability solver for (existential) bit-vector formulas based on the mcSAT framework.☆16Updated last year
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 years ago
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Updated 2 years ago
- Drona is a programming framework for building safe robotics systems☆29Updated 2 years ago
- An extendible library for serialization of an arbitrary objects to JSON format extended with type information to facilitate interoperabil…☆14Updated last year
- Automata and transducer library for .NET☆78Updated 4 years ago
- Utilities used in the experiments for the DeepCoder paper (ICLR'17)☆60Updated last year
- Implementation of DeepCoder's model in tensorflow☆21Updated 6 years ago
- ScalableJoins☆16Updated 8 years ago
- Re-implement DeepCoder (https://openreview.net/pdf?id=ByldLrqlx)☆107Updated 5 years ago
- Program synthesis☆12Updated 8 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated 3 months ago
- ☆16Updated 6 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆39Updated 4 years ago
- T2 Temporal Prover☆93Updated 6 years ago
- Very fast and scalable algorithms for the influence maximization and influence estimation problems in the independent cascade model.☆25Updated 8 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 last year
- Deepcoder paper implementation☆112Updated last year
- Changes to SciPy for the Numpy-refactor project and move to numpy 2.0.☆22Updated 12 years ago
- ☆42Updated 7 years ago
- Uncertainty is a C# library that uses LINQ to let developers easily express probabilistic computations and then inference over those comp…☆33Updated 7 years ago
- Native implementation of a Keras-style API. Uses the Cognitive Toolking (CNTK) as backend.☆19Updated last year
- A Game-Based Approximate Verification of Deep Neural Networks with Provable Guarantees☆19Updated 3 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆52Updated last year
- A .NET framework for composing, evaluating, inspecting and persisting computational experiments which are represented as a dataflow.☆20Updated last year
- DepQBF, a solver for quantified boolean formulae (QBF).☆31Updated last year
- Running the most popular deep learning frameworks on Azure Batch AI☆24Updated last year
- A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.☆18Updated 2 years ago
- Counterexample-Driven Genetic Programming☆16Updated 2 years ago
- A library of cross-platform, cross-framework, cross-programming language featurizers (operations in a data processing pipeline) that can …☆19Updated 4 years ago