Rice University; University of Wisconsin; UT Austin
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas Reps, Swarat Chaudhuri, Christopher Jermaine
Program generation;neurosymbolic learning;attribute grammars;program synthesis
Neural Program Generation Modulo Static Analysis