The scope of human learning and development poses a radical challenge for cognitive
science. We propose that developmental theories can address this challenge by adopting …

Language models demonstrate both quantitative improvement and new qualitative
capabilities with increasing scale. Despite their potentially transformative impact, these new …

Search-based program synthesis Page 1 84 COMMUNICATIONS OF THE ACM | DECEMBER
2018 | VOL. 61 | NO. 12 review articles Writing programs that are both correct and efficient is …

We present a system for inductive program synthesis called DreamCoder, which inputs a
corpus of synthesis problems each specified by one or a few examples, and automatically …

This paper presents a new technique for automatically synthesizing SQL queries from
natural language (NL). At the core of our technique is a new NL-based program synthesis …

Program synthesis is the task of automatically finding a program in the underlying
programming language that satisfies the user intent expressed in the form of some …

The use of large language models for code generation is a rapidly growing trend in software
development. However, without effective methods for ensuring the correctness of generated …

We propose a new conflict-driven program synthesis technique that is capable of learning
from past mistakes. Given a spurious program that violates the desired specification, our …

This paper presents a novel component-based synthesis algorithm that marries the power of
type-directed search with lightweight SMT-based deduction and partial evaluation. Given a …

Modern program synthesizers are increasingly delivering on their promise of lightening the
burden of programming by automatically generating code, but little research has addressed …