Artificial Intelligence
Building intelligent machines that complement human reasoning and extend what people can do.
Webinar
Harnessing high-fidelity simulation for autonomous systems through AirSim webinar
In this webinar, Sai Vemprala, a Microsoft researcher, will introduce Microsoft AirSim, an open-source, high-fidelity robotics simulator, and he demonstrates how it can help to train robust and generalizable algorithms for autonomy. He will explain the…
Publication
Neural Architecture Search with GBDT
Event
Microsoft at COLT 2020
Microsoft is proud to be a Platinum sponsor of the Thirty-Third Annual Conference on Learning Theory (COLT).
Publication
Concept Bottleneck Models
Project
Predictive Program Synthesis
Program synthesis technologies help users to easily automate tasks that would otherwise require significant manual effort or programming skills. For instance, programming-by-example or natural language programming approaches allow the user to express intent by giving…
Video
On the Fly Synthesis of Edit Suggestions
Authors: Anders Miltner, Sumit Gulwani, Vu Le, Alan Leung, Arjun Radhakrishna, Gustavo Soares, Ashish Tiwari, Abhishek Udupa Presented at SPLASH 2019
Video
Blue-Pencil: modeless program synthesis
In this demo, we show how IntelliCode Suggestions can help developers perform repetitive code edits in Visual Studio. It is based on Blue-Pencil, a modeless program synthesis system. Blue-Pencil does not require developers to explicitly…
