While input-output examples are a natural form of specification for program synthesis
engines, they can be imprecise for domains such as table transformations. In this paper, we …