Research Tools: code, datasets, & models

Jericho is an environment that connects learning agents with interactive fiction games. It supports nearly 50 existing games, as well the TextWorld environment from MSR Montreal. The hope is that Jericho can be the standard…

AirSim is high fidelity extensible simulation platform to allow data generation, algorithms testing and reinforcement learning for developing autonomous agents.

A toolkit for reasoning about source code (tasks related to program understanding, synthesis, and verification) using graph neural networks. Developed in partnership with MSR Cambridge. Used by several ongoing projects both inside and outside MSR.

A synthetic dataset of visual programs for the program synthesis task, now a common benchmark in the academic community. This webpage hosts the dataset for synthetically generated Karel programs that are used for training and…

A framework/SDK for program synthesis from input-output examples, with pre-built applications for data wrangling, Jupyter integration for data scientists, repetitive code editing, text manipulations, and extraction from webpages. Started at MSR, now developed by a…

Vowpal Wabbit is a machine learning system which pushes the frontier of machine learning with techniques such as online, hashing, allreduce, reductions, learning2search, active, and interactive learning. There is a specific focus on reinforcement learning…

Vale (Verified Assembly Language for Everest) is a tool for constructing formally verified high-performance assembly language code, with an emphasis on cryptographic code.  It uses existing verification frameworks, such as Dafny and F*, for formal…

EverCrypt (opens in new tab) is a high-performance, cross-platform, formally verified modern cryptographic provider distributed as a combined C/ASM library. EverCrypt packages cryptographic implementations from the HACL* and ValeCrypt projects, and automatically picks the fastest…

F*: Verification system for effectful programs

Supporting code for the Model-Based Machine Learning book. This project contains the sample code and test data for the freely available online book on model-based machine learning published at http://mbmlbook.com/ (opens in new tab). The…