Neural Program Generation Modulo Static Analysis

no code implementations • NeurIPS 2021 • Rohan Mukherjee, Yeming Wen, Dipak Chaudhari, Thomas W. Reps, Swarat Chaudhuri, Chris Jermaine

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.

Meta-Meta Classification for One-Shot Learning

1 code implementation • 17 Apr 2020 • Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri, Chris Jermaine

We present a new approach, called meta-meta classification, to learning in small-data settings.

Classification General Classification +2

HOUDINI: Lifelong Learning as Program Synthesis

2 code implementations • NeurIPS 2018 • Lazar Valkov, Dipak Chaudhari, Akash Srivastava, Charles Sutton, Swarat Chaudhuri

We present a neurosymbolic framework for the lifelong learning of algorithmic tasks that mix perception and procedural reasoning.

Program Synthesis Transfer Learning