“…In spirit, methods for Program induction tend to be closer to neural networks than to symbolic computing. For instance, architectures such as the Neural Turing Machine [197,198], the Differential Neural Computer [198,199], the Neural programmer [200], Neural programmer-interpreters [201,195], Neural Program Lattices [202], the Neural State Machine [200], and most recently MEMO [203] extend neural networks with external memory, and can infer simple algorithms such as adding numbers, copying, sorting and path finding. [165] illustrates the use of DeepProbLog to solve three program induction tasks and compare their results to Differentiable Forth (∂4) [204].…”