25 citations · 49 across the 4 of their papers we have counts for
5 papers
Neural Program Generation Modulo Static Analysis
Rohan Mukherjee, Yeming Wen, Dipak Chaudhari +3
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 th…
Meta-Meta Classification for One-Shot Learning
Arkabandhu Chowdhury, Dipak Chaudhari, Swarat Chaudhuri +1
We present a new approach, called meta-meta classification, to learning in small-data settings. In this approach, one uses a large set of learning problems to design an ensemble of…
HOUDINI: Lifelong Learning as Program Synthesis
Lazar Valkov, Dipak Chaudhari, Akash Srivastava +2
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 lea…
Building an IDE for the Calculational Derivation of Imperative Programs
Dipak L. Chaudhari, Om Damani
In this paper, we describe an IDE called CAPS (Calculational Assistant for Programming from Specifications) for the interactive, calculational derivation of imperative programs. In…
Lexical Co-occurrence, Statistical Significance, and Word Association
Dipak Chaudhari, Om P. Damani, Srivatsan Laxman
Lexical co-occurrence is an important cue for detecting word associations. We present a theoretical framework for discovering statistically significant lexical co-occurrences from…