33 citations · 55 across the 4 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 33 cited
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…
cs.LG2022★ 17 cited
Language Models Can Teach Themselves to Program Better
Patrick Haluptzok, Matthew Bowers, Adam Tauman Kalai
Recent Language Models (LMs) achieve breakthrough performance in code generation when trained on human-authored problems, even solving some competitive-programming problems. Self-p…