Machine Learning, Program Synthesis, Deep Learning, Npi.
pair of digits under cursor and state of the CARRY. Authors of the paper show that for recursive addition algorithm an NPI trained only on examples up to five digits long provably generalizes for arbitrarily long numbers. Conclusion This approach is not directly applicable for program synthesis, as