2 papers
cs.LG2020
Grammar Filtering For Syntax-Guided Synthesis
Kairo Morton, William Hallahan, Elven Shum +2
Programming-by-example (PBE) is a synthesis paradigm that allows users to generate functions by simply providing input-output examples. While a promising interaction paradigm, synt…
math.CO2014
Stability of coefficients in the Kronecker product of a hook and a rectangle
Cristina Ballantine, Bill Hallahan
We use recent work of Jonah Blasiak (2012) to prove a stability result for the coefficients in the Kronecker product of two Schur functions: one indexed by a hook partition and one…