Bayesian Inference of Regular Expressions from Human-Generated Example Strings

Long Ouyang

In programming by example, users "write" programs by generating a small number of input-output examples and asking the computer to synthesize consistent programs. We consider a cha…