ProgramSynthesis

In a higher-order rule, the left hand side can be one or two variables and a word, and the right hand side can be any sequence of bracketed forms of those variables. Test details For each of our experiments, we used a sampling timeout of 30 sec, and tested on 50 held-out test grammars, each containing 10 query examples. At test time, we vary the number of support examples(left),primitiverules(center),andhigher-orderrules(right). Weobservedthat,whenthesupportsetistoosmall, there are often not enough examples todisambiguate between several grammars which all satisfy thesupportset,butmaynotsatisfythequeryset. See Table A.1 for results.