research
∙
06/05/2023
Modeling Human-like Concept Learning with Bayesian Inference over Natural Language
We model learning of abstract symbolic concepts by performing Bayesian i...
share
research
∙
06/03/2023
LambdaBeam: Neural Program Search with Higher-Order Functions and Lambdas
Search is an important technique in program synthesis that allows for ad...
research
∙
11/29/2022
Top-Down Synthesis for Library Learning
This paper introduces corpus-guided top-down synthesis as a mechanism fo...
research
∙
09/29/2022
I Speak, You Verify: Toward Trustworthy Neural Program Synthesis
We develop an approach for improving the trustworthiness and overall acc...
research
∙
06/13/2022
From Perception to Programs: Regularize, Overparameterize, and Amortize
Toward combining inductive reasoning with perception abilities, we devel...
research
∙
04/05/2022
Efficient Pragmatic Program Synthesis with Informative Specifications
Providing examples is one of the most common way for end-users to intera...
research
∙
03/20/2022
CrossBeam: Learning to Search in Bottom-Up Program Synthesis
Many approaches to program synthesis perform a search within an enormous...
research
∙
10/24/2021
Scaling Neural Program Synthesis with Distribution-based Search
We consider the problem of automatically constructing computer programs ...
research
∙
06/18/2021
Leveraging Language to Learn Program Abstractions and Search Heuristics
Inductive program synthesis, or inferring programs from examples of desi...
research
∙
08/08/2020
Learning abstract structure for drawing by efficient motor program induction
Humans flexibly solve new problems that differ qualitatively from those ...
research
∙
07/09/2020
Program Synthesis with Pragmatic Communication
Program synthesis techniques construct or infer programs from user-provi...
research
∙
06/15/2020
DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learning
Expert problem-solving is driven by powerful languages for thinking abou...
research
∙
06/09/2019
Write, Execute, Assess: Program Synthesis with a REPL
We present a neural program synthesis approach integrating components wh...
research
∙
01/09/2019
Learning to Infer and Execute 3D Shape Programs
Human perception of 3D shapes goes beyond reconstructing them as a set o...
research
∙
07/30/2017