Neural Guided Constraint Logic Programming for Program Synthesis
papers.nips.cc