In the last section, we introduced functions. But what exactly are functions? One way of thinking about functions is to think of them being little blocks of commands that Karel knows by a single name.

IReEn obtains a set of I/Os by querying the target program’s functions using random inputs drawn from a distribution. A module called a neural program synthesizer — conditioned on the obtained ...