Microsoft Research Blog

Microsoft Windows

  2. MazeExplorer [1.0.0] 

    June 12, 2019

    MazeExplorer is a customisable 3D benchmark for assessing generalisation in Reinforcement Learning. It is based on the 3D first-person game Doom and the open-source environment VizDoom. This repository contains the code for the MazeExplorer Gym Environment along with the scripts to generate baseline results.

  3. Bing Artificial Search Sessions 

    May 3, 2019

    Bing Artificial Search Sessions(BASS) is a collection of 18m Artificial Search session that were created by taking real conversational Search Sessions and mapping them to publicly available queries using vector space embeddings.

  4. Quantum Development Kit 

    April 30, 2019

    The Quantum Development Kit includes Q#, a brand-new quantum-focused programming language with native type, operators, and other abstraction, advanced code optimization in a simulated environment and a collection of ready-to-use open source libraries and samples take you from being a beginner to building your first…

  5. Natural Language Interfaces to Web APIs Dataset 

    April 26, 2019

    The NL2API dataset includes the web APIs call from the Microsoft Graph API suite, which are respectively used to search a user’s emails and calendar events. Each data points include the API call, its canonical form and its associated natural utterances, as well as the…

  6. Checked C Specification 

    October 12, 2018

    This is a detailed specification for the Checked C extension that explains the design in-depth.  

  7. Checked C clang compiler 

    October 12, 2018

    The Checked C extension to C is being implemented in a fork of the clang compiler.     You can download the latest version of the Checked C compiler for Windows from this GitHub link.          

  8. Space Partition Tree and Graph (SPTAG) 

    September 24, 2018 | Qi Chen

    SPTAG (Space Partition Tree And Graph) is a library for large scale vector approximate nearest neighbor search scenario. It assumes that the samples are represented as vectors and that the vectors can be compared by L2 distances or cosine distances. Vectors returned for a query…

  9. FrodoKEM: Learning with Errors Key Encapsulation 

    April 18, 2018

    This C library implements FrodoKEM, an IND-CCA secure key encapsulation (KEM) protocol based on the well-studied Learning with Errors (LWE) problem [1], which in turn has close connections to conjectured-hard problems on generic, "algebraically unstructured" lattices. FrodoKEM is conjectured to be secure against quantum computer attacks.

  10. Learning to Represent Programs with Graphs Dataset – ICLR 2018 

    April 16, 2018

    This download contains the graphs (parsed source code) for the open-source projects used in the ICLR 2018 paper "Learning to Represent Programs with Graphs". In this work, we present how to construct graphs from source code and how to scale Gated Graph Neural Networks training…

  11. Microsoft Translator 

    February 8, 2018

    Translate voice and text in all Microsoft Translator supported languages, using the world’s first Deep Neural Network-powered offline packs to translate even when you are not connected to the internet.