Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
Tool
AirSim Simulator
AirSim is high fidelity extensible simulation platform to allow data generation, algorithms testing and reinforcement learning for developing autonomous agents.
Tool
Graph-based code modeling toolkit
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.
Tool
Dataset for Learning Karel Programs
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…
Tool
Microsoft Program Synthesis using Examples SDK
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…
Publication