Probabilistic Neural Programs
terpret : a probabilistic programming language for program induction .