
-
Neurosymbolic Transformers for Multi-Agent Communication
We study the problem of inferring communication structures that can solv...
read it
-
Representing Partial Programs with Blended Abstract Semantics
Synthesizing programs from examples requires searching over a vast, comb...
read it
-
Program Synthesis with Pragmatic Communication
Program synthesis techniques construct or infer programs from user-provi...
read it
-
Write, Execute, Assess: Program Synthesis with a REPL
We present a neural program synthesis approach integrating components wh...
read it
-
Verifiable Reinforcement Learning via Policy Extraction
While deep reinforcement learning has successfully solved many challengi...
read it
-
Learning to select examples for program synthesis
Program synthesis is a class of regression problems where one seeks a so...
read it
-
Learning to Acquire Information
We consider the problem of diagnosis where a set of simple observations ...
read it
-
sk_p: a neural program corrector for MOOCs
We present a novel technique for automatic program correction in MOOCs, ...
read it