Neuro-Symbolic Program Synthesis
terpret : a probabilistic programming language for program induction .