8 The framework repeatedly predicts hidden structures (specification trees in our case) using a structure learner, and trains the structure learner based on the execution feedback of its predictions.
at each iteration the structure learner predicts the most plausible specification tree for each text document: Depending on whether the corresponding code reads all input examples successfully or not, the (w i , t i ) pairs are added as an positive or negative sample to populate a training set.