-
Learning to select examples for program synthesis
Program synthesis is a class of regression problems where one seeks a so...
11/09/2017 ∙ by Yewen Pu, et al. ∙
0
∙
share
read it
-
Learning to Acquire Information
We consider the problem of diagnosis where a set of simple observations ...
04/20/2017 ∙ by Yewen Pu, et al. ∙
0
∙
share
read it
-
sk_p: a neural program corrector for MOOCs
We present a novel technique for automatic program correction in MOOCs, ...
07/11/2016 ∙ by Yewen Pu, et al. ∙
0
∙
share
read it
-
Verifiable Reinforcement Learning via Policy Extraction
While deep reinforcement learning has successfully solved many challengi...
05/22/2018 ∙ by Osbert Bastani, et al. ∙
0
∙
share
read it
-
Write, Execute, Assess: Program Synthesis with a REPL
We present a neural program synthesis approach integrating components wh...
06/09/2019 ∙ by Kevin Ellis, et al. ∙
0
∙
share
read it
