Making Neural Programming Architectures Generalize via Recursion
Not on the map. Why?
Abstract (arXiv)
Empirically, neural networks that attempt to learn programs from data have exhibited poor generalizability. Moreover, it has traditionally been difficult to reason about the behavior of these models beyond a certain level of input complexity. In order to address these issues, we propose augmenting neural architectures with a key abstraction: recursion. As an application, we implement recursion in the Neural Programmer-Interpreter framework on four tasks: grade-school addition, bubble sort, topological sort, and quicksort. We demonstrate superior generalizability and interpretability with small amounts of training data. Recursion divides the problem into smaller pieces and drastically reduces the domain of each neural network component, making it tractable to prove guarantees about the overall system's behavior. Our experience suggests that in order for neural architectures to robustly learn program semantics, it is necessary to incorporate a concept like recursion.
Key facts. Cited by 35 papers in the map (data through 14 Oct 2026). First posted on arXiv 21 Apr 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2018: 1; 2019: 0; 2020: 0; 2021: 11; 2022: 7; 2023: 10; 2024: 3; 2025: 1; 2026: 2.
35 papers.
Sort:
By area:
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2021Measuring Coding Challenge Competence With APPScited by 902
- 2022Solving math word problems with process- and outcome-based feedbackcited by 901
- 2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instructcited by 625
- 2022Decomposed Prompting: A Modular Approach for Solving Complex Taskscited by 558
- 2018Scalable agent alignment via reward modeling: a research directioncited by 447
- 2023Teaching Arithmetic to Small Transformerscited by 123
- 2024Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrappingcited by 90
- 2021Neural Production Systems: Learning Rule-Governed Visual Dynamicscited by 75
- 2023Large Language Models can Learn Rulescited by 69
- 2021Learning to Synthesize Programs as Interpretable and Generalizable Policiescited by 59
- 2023Learning Transformer Programscited by 41
23 more
- 2024Learning Iterative Reasoning through Energy Diffusioncited by 36
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 35
- 2022Learning Iterative Reasoning through Energy Minimizationcited by 32
- 2021Pointer Value Retrieval: A new benchmark for understanding the limits of neural network generalizationcited by 29
- 2022How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Compositioncited by 27
- 2023Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context Reasoning with Language Modelscited by 24
- 2021Neural-guided, Bidirectional Program Search for Abstraction and Reasoningcited by 23
- 2021Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiabilitycited by 18
- 2023Recursive Algorithmic Reasoningcited by 9
- 2021Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Unitscited by 8
- 2023Hierarchical Neural Program Synthesiscited by 7
- 2021Neural Sequence-to-grid Module for Learning Symbolic Rulescited by 5
- 2021Evolutionary Training and Abstraction Yields Algorithmic Generalization of Neural Computerscited by 5
- 2026Gradient-Based Program Synthesis with Neurally Interpreted Languagescited by 5
- 2022Synthesizing Programs with Continuous Optimizationcited by 2
- 2021State-Space Constraints Can Improve the Generalisation of the Differentiable Neural Computer to Input Sequences With Unseen Lengthcited by 1
- 2023Neuro-Symbolic Sudoku Solvercited by 1
- 2026Training Transformers as a Universal Computercited by 1
- 2021Understanding in Artificial Intelligencecited by 0
- 2023Learning-Based Automatic Synthesis of Software Code and Configurationcited by 0
- 2023OC-NMN: Object-centric Compositional Neural Module Network for Generative Visual Analogical Reasoningcited by 0
- 2024Bridging the Gap: Representation Spaces in Neuro-Symbolic AIcited by 0
- 2025Learning Model Successorscited by 0
- 2026Training Transformers as a Universal Computer28 Apr 2026
- 2026Gradient-Based Program Synthesis with Neurally Interpreted Languages20 Apr 2026
- 2025Learning Model Successors31 Jan 2025
- 2024Bridging the Gap: Representation Spaces in Neuro-Symbolic AI7 Nov 2024
- 2024Learning Iterative Reasoning through Energy Diffusion17 Jun 2024
- 2024Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping21 Feb 2024
- 2023OC-NMN: Object-centric Compositional Neural Module Network for Generative Visual Analogical Reasoning28 Oct 2023
- 2023Large Language Models can Learn Rules10 Oct 2023
- 2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct18 Aug 2023
- 2023Teaching Arithmetic to Small Transformers7 Jul 2023
- 2023Neuro-Symbolic Sudoku Solver2 Jul 2023
- 2023Recursive Algorithmic Reasoning1 Jul 2023
23 more
- 2023Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context Reasoning with Language Models12 Jun 2023
- 2023Learning Transformer Programs1 Jun 2023
- 2023Learning-Based Automatic Synthesis of Software Code and Configuration25 May 2023
- 2023Hierarchical Neural Program Synthesis9 Mar 2023
- 2022Solving math word problems with process- and outcome-based feedback25 Nov 2022
- 2022Synthesizing Programs with Continuous Optimization2 Nov 2022
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computing28 Oct 2022
- 2022Decomposed Prompting: A Modular Approach for Solving Complex Tasks5 Oct 2022
- 2022How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Composition15 Jul 2022
- 2022Learning Iterative Reasoning through Energy Minimization30 Jun 2022
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Models28 Jan 2022
- 2021Pushing the Limits of Rule Reasoning in Transformers through Natural Language Satisfiability16 Dec 2021
- 2021Neural-guided, Bidirectional Program Search for Abstraction and Reasoning22 Oct 2021
- 2021State-Space Constraints Can Improve the Generalisation of the Differentiable Neural Computer to Input Sequences With Unseen Length18 Oct 2021
- 2021Learning to Synthesize Programs as Interpretable and Generalizable Policies31 Aug 2021
- 2021Pointer Value Retrieval: A new benchmark for understanding the limits of neural network generalization27 Jul 2021
- 2021Measuring Coding Challenge Competence With APPS20 May 2021
- 2021Evolutionary Training and Abstraction Yields Algorithmic Generalization of Neural Computers17 May 2021
- 2021Recognizing and Verifying Mathematical Equations using Multiplicative Differential Neural Units7 Apr 2021
- 2021Neural Production Systems: Learning Rule-Governed Visual Dynamics2 Mar 2021
- 2021Understanding in Artificial Intelligence17 Jan 2021
- 2021Neural Sequence-to-grid Module for Learning Symbolic Rules13 Jan 2021
- 2018Scalable agent alignment via reward modeling: a research direction19 Nov 2018
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2022Solving math word problems with process- and outcome-based feedbackcited by 901
- 2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instructcited by 625
- 2024Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrappingcited by 90
- 2023Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context Reasoning with Language Modelscited by 24
- 2023OC-NMN: Object-centric Compositional Neural Module Network for Generative Visual Analogical Reasoningcited by 0
- 2024Beyond A*: Better Planning with Transformers via Search Dynamics Bootstrapping21 Feb 2024
- 2023OC-NMN: Object-centric Compositional Neural Module Network for Generative Visual Analogical Reasoning28 Oct 2023
- 2023WizardMath: Empowering Mathematical Reasoning for Large Language Models via Reinforced Evol-Instruct18 Aug 2023
- 2023Recursion of Thought: A Divide-and-Conquer Approach to Multi-Context Reasoning with Language Models12 Jun 2023
- 2022Solving math word problems with process- and outcome-based feedback25 Nov 2022
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Models28 Jan 2022
- 2023Learning Transformer Programscited by 41
- 2023Learning Transformer Programs1 Jun 2023
- 2021Measuring Coding Challenge Competence With APPScited by 902
- 2022Decomposed Prompting: A Modular Approach for Solving Complex Taskscited by 558
- 2023Teaching Arithmetic to Small Transformerscited by 123
- 2021Neural Production Systems: Learning Rule-Governed Visual Dynamicscited by 75
- 2023Large Language Models can Learn Rulescited by 69
- 2021Learning to Synthesize Programs as Interpretable and Generalizable Policiescited by 59
- 2024Learning Iterative Reasoning through Energy Diffusioncited by 36
- 2022Towards Data-and Knowledge-Driven Artificial Intelligence: A Survey on Neuro-Symbolic Computingcited by 35
- 2022Learning Iterative Reasoning through Energy Minimizationcited by 32
- 2021Pointer Value Retrieval: A new benchmark for understanding the limits of neural network generalizationcited by 29
- 2022How to Reuse and Compose Knowledge for a Lifetime of Tasks: A Survey on Continual Learning and Functional Compositioncited by 27
- 2021Neural-guided, Bidirectional Program Search for Abstraction and Reasoningcited by 23
12 most cited of 27 All 27 (JSON)
- 2026Training Transformers as a Universal Computer28 Apr 2026
- 2026Gradient-Based Program Synthesis with Neurally Interpreted Languages20 Apr 2026
- 2025Learning Model Successors31 Jan 2025
- 2024Bridging the Gap: Representation Spaces in Neuro-Symbolic AI7 Nov 2024
- 2024Learning Iterative Reasoning through Energy Diffusion17 Jun 2024
- 2023Large Language Models can Learn Rules10 Oct 2023
- 2023Teaching Arithmetic to Small Transformers7 Jul 2023
- 2023Neuro-Symbolic Sudoku Solver2 Jul 2023
- 2023Recursive Algorithmic Reasoning1 Jul 2023
- 2023Learning-Based Automatic Synthesis of Software Code and Configuration25 May 2023
- 2023Hierarchical Neural Program Synthesis9 Mar 2023
- 2022Synthesizing Programs with Continuous Optimization2 Nov 2022
12 newest of 27 All 27 (JSON)