research
∙
09/11/2023
Hypothesis Search: Inductive Reasoning with Language Models
Inductive reasoning is a core problem-solving capacity: humans can ident...
share
research
∙
09/01/2023
Amortizing Pragmatic Program Synthesis with Rankings
In program synthesis, an intelligent system takes in a set of user-gener...
research
∙
08/13/2023
The Usability of Pragmatic Communication in Regular Expression Synthesis
Programming-by-example (PBE) systems aim to alleviate the burden of prog...
research
∙
10/21/2022
Text Editing as Imitation Game
Text editing, such as grammatical error correction, arises naturally fro...
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
∙
06/15/2021
Communicating Natural Programs to Humans and Machines
The Abstraction and Reasoning Corpus (ARC) is a set of tasks that tests ...
research
∙
02/22/2021
Program Synthesis Guided Reinforcement Learning
A key challenge for reinforcement learning is solving long-horizon plann...
research
∙
01/05/2021
Neurosymbolic Transformers for Multi-Agent Communication
We study the problem of inferring communication structures that can solv...
research
∙
12/23/2020
Representing Partial Programs with Blended Abstract Semantics
Synthesizing programs from examples requires searching over a vast, comb...
research
∙
07/09/2020
Program Synthesis with Pragmatic Communication
Program synthesis techniques construct or infer programs from user-provi...
research
∙
06/09/2019
Write, Execute, Assess: Program Synthesis with a REPL
We present a neural program synthesis approach integrating components wh...
research
∙
05/22/2018
Verifiable Reinforcement Learning via Policy Extraction
While deep reinforcement learning has successfully solved many challengi...
research
∙
11/09/2017
Learning to select examples for program synthesis
Program synthesis is a class of regression problems where one seeks a so...
research
∙
04/20/2017
Learning to Acquire Information
We consider the problem of diagnosis where a set of simple observations ...
research
∙
07/11/2016