Rishabh Singh

Summary - TerpreT: A Probabilistic Programming Language for Program Induction

2016 · arXiv (Cornell University)

We study machine learning formulations of inductive program synthesis; that is, given input-output examples, synthesize source code that maps inputs to corresponding outputs. Our key contribution is TerpreT, a domain-specific language for expressing program synthesis …

Leveraging Grammar and Reinforcement Learning for Neural Program Synthesis

2018 · arXiv (Cornell University)

Program synthesis is the task of automatically generating a program consistent with a specification. Recent years have seen proposal of a number of neural approaches for program synthesis, many of which adopt a sequence generation …