eglassman/prose-tutorial

Tutorial on program synthesis using Prose

Prose Tutorial

This is a tutorial for Prose (https://microsoft.github.io/prose/), an inductive programming framework. In this tutorial we will learn how to instantiate Prose to synthesize substring programs from examples.

This is a simplified version of the official Prose documentation: https://microsoft.github.io/prose/documentation/prose/tutorial/.

The slides for this tutorial can be found at: https://docs.google.com/presentation/d/1swJ-An7lj2lO2vAAkKteeXdl--xiAlPlmFY55miFuRA/edit?usp=sharing