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