Dataset Source Code
Static Module Verifier
Static Module Verifier technology enables full module analysis using Microsoft Azure.
Research Tools: code, datasets, & models
Discover an index of datasets, SDKs, APIs and open-source tools developed by Microsoft researchers and shared with the global academic community below. These experimental technologies—available through Azure AI Foundry Labs (opens in new tab)—offer a glimpse into the future of AI innovation.
Dataset Source Code
Project Malmo on GitHub
Project Malmo is a platform for Artificial Intelligence experimentation and research built on top of Minecraft. We aim to inspire a new generation of research into challenging new problems presented by this unique environment.
Dataset Source Code
Essex PBI Base
A collection of libraries to assist in the creation of PowerBI custom visuals. Projects Visual Utils (visual-utils) – A collection of utilities the development of powerbi custom visuals. Visual Settings (visual-settings) – A library to…
Tool
LatticeCrypto
LatticeCrypto is a high-performance and portable software library that implements lattice-based cryptographic algorithms. The first release of the library provides an implementation of lattice-based key exchange with security based on the Ring Learning With Errors…
Tool
Diverse Algebra Word Problem Dataset with Derivation Annotations
This dataset provides training and testing examples for solving algebra word problems automatically. It consists of over 2000 algebra word problems. Each word problem is annotated with the full derivation (template + alignments) of the…
Tool
WebQuestions Semantic Parses Dataset
The WebQuestionsSP dataset is released as part of our ACL-2016 paper “The Value of Semantic Parse Labeling for Knowledge Base Question Answering”, in which we evaluated the value of gathering semantic parses, vs. answers, for…
Tool
Cultivating the Long tail of Environmental Observations
CLEO (Cultivating the Long tail of Environmental Observations) is a collaborative project between the Sensing and Energy Research Group at MSR and the E3 group at MCR Connections. It relies on the processing power of…
Dataset Source Code
Mesh processing library
This GitHub package contains a C++ library and several application programs that demonstrate mesh processing technologies published in research papers at ACM SIGGRAPH in 1992–1998.
Tool
SIDH Library
SIDH is a fast and portable software library that implements a new suite of algorithms for Supersingular Isogeny Diffie-Hellman (SIDH) key exchange. The chosen parameters aim to provide 128 bits of security against attackers running…