← Search

Dipak Chaudhari

2 accepted papers

2021

Neural Program Generation Modulo Static Analysis

NeurIPS 2021spotlight

State-of-the-art neural models of source code tend to be evaluated on the generation of individual expressions and lines of code, and commonly fail on long-horizon tasks such as the generation of entire method bodies. We propose to address this deficiency using weak supervision from a static program…

Cited by 24SourcePDFScholar
2018

HOUDINI: Lifelong Learning as Program Synthesis

NeurIPS 2018poster

We present a neurosymbolic framework for the lifelong learning of algorithmic tasks that mix perception and procedural reasoning. Reusing high-level concepts across domains and learning complex procedures are key challenges in lifelong learning. We show that a program synthesis approach that combine…