microsoft / NeuralNetworkAnalysis
Framework for generating adversarial examples using formal methods and for analyzing robustness of DNNs.
☆21Updated 7 years ago
Related projects ⓘ
Alternatives and complementary repositories for NeuralNetworkAnalysis
- Running the most popular deep learning frameworks on Azure Batch AI☆24Updated last year
- Metal: Learning a Meta-Solver for Syntax-Guided Program Synthesis☆15Updated 5 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
- An evolutionary multi-start algorithm for the Steiner Tree Problem in graphs with a fast local search.☆13Updated 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
- **Sferes2 module** generic toolbox for evolving neural networks☆13Updated 5 years ago
- FORMULA 2.0: Formal Specifications for Verification and Synthesis☆17Updated 5 months ago
- Static analysis of MSIL based on the analysis-net infrastructure☆19Updated 2 years ago
- DllExport Utility☆9Updated 13 years ago
- A performant and ergonomic implementation of binary decision diagrams for .NET☆54Updated last year
- ScalableJoins☆16Updated 9 years ago
- Program synthesis☆12Updated 8 years ago
- A compiler for BLOG probabilistic programming language☆25Updated 6 years ago
- Applied Symbolic Execution with KLEE/LLVM☆24Updated 11 years ago
- Native implementation of a Keras-style API. Uses the Cognitive Toolking (CNTK) as backend.☆19Updated last year
- ☆101Updated 4 years ago
- NeuroCore: Guiding CDCL with Unsat-Core Predictions☆43Updated 4 years ago
- A collection of statistics algorithms from Mersenne twister generator to MCMC sampling.☆18Updated 2 years ago
- Angara: the modelling environment https://www.microsoft.com/en-us/research/project/distribution-modeller☆25Updated last year
- ☆9Updated 8 years ago
- Code related to "Learning Continuous Semantic Representations of Symbolic Expressions" project.☆36Updated 7 years ago
- Forward Modeling for Partial Observation Strategy Games - A StarCraft Defogger☆31Updated 3 years ago
- PDP: A General Neural Framework for Learning Constraint Satisfaction Solvers☆40Updated last year
- Differentiable Forth Interpreter☆66Updated 6 years ago
- A transformational system for ASTs, including generation of a p/invoke API from C++ headers.☆32Updated 2 years ago
- A .NET framework for composing, evaluating, inspecting and persisting computational experiments which are represented as a dataflow.☆20Updated last year
- Wikipedia navigation environment for OpenAI Gym☆41Updated last year
- Implementation of DeepCoder's model in tensorflow☆21Updated 7 years ago
- .NET bindings for the Pytorch engine☆17Updated 5 years ago
- ☆17Updated 6 years ago