1.6k citations · 9.7k across the 222 of their papers we have counts for
4 papers · 1 filter
Top-Down Synthesis for Library Learning
Matthew Bowers, Theo X. Olausson, Lionel Wong +4
This paper introduces corpus-guided top-down synthesis as a mechanism for synthesizing library functions that capture common functionality from a corpus of programs in a domain spe…
Representing Partial Programs with Blended Abstract Semantics
Maxwell Nye, Yewen Pu, Matthew Bowers +3
Synthesizing programs from examples requires searching over a vast, combinatorial space of possible programs. In this search process, a key challenge is representing the behavior o…
Write, Execute, Assess: Program Synthesis with a REPL
Kevin Ellis, Maxwell Nye, Yewen Pu +3
We present a neural program synthesis approach integrating components which write, execute, and assess code to navigate the search space of possible programs. We equip the search p…
Church: a language for generative models
Noah Goodman, Vikash Mansinghka, Daniel M. Roy +2
We introduce Church, a universal language for describing stochastic generative processes. Church is based on the Lisp model of lambda calculus, containing a pure Lisp as its determ…