A Bayesian framework helps address, in computational terms, what knowledge children start
with and how they construct and adapt models of the world during childhood. Within this …

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 …

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 …

Inductive synthesis, or programming-by-examples (PBE) is gaining prominence with
disruptive applications for automating repetitive tasks in end-user programming. However …

SQL is the de facto language for manipulating relational data. Though powerful, many users
find it difficult to write SQL queries due to highly expressive constructs. While using the …

We present a method for synthesizing recursive functions that provably satisfy a given
specification in the form of a polymorphic refinement type. We observe that such …

As large language models (LLMs) like ChatGPT exhibited unprecedented machine
intelligence, it also shows great performance in assisting hardware engineers to realize …

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 …