TerpreT: A Probabilistic Programming Language for Program Induction by MSR
arxiv.org