Sub-Task Decomposition Enables Learning in Sequence to Sequence Tasks
Not on the map. Why?
Abstract (arXiv)
The field of Natural Language Processing has experienced a dramatic leap in capabilities with the recent introduction of huge Language Models. Despite this success, natural language problems that involve several compounded steps are still practically unlearnable, even by the largest LMs. This complies with experimental failures for end-to-end learning of composite problems that were demonstrated in a variety of domains. An effective mitigation is to introduce intermediate supervision for solving sub-tasks of the compounded problem. Recently, several works have demonstrated high gains by taking a straightforward approach for incorporating intermediate supervision in compounded natural language problems: the sequence-to-sequence LM is fed with an augmented input, in which the decomposed tasks' labels are simply concatenated to the original input. In this paper, we prove a positive learning result that motivates these recent efforts. We show that when concatenating intermediate supervision to the input and training a sequence-to-sequence model on this modified input, unlearnable composite problems can become learnable. We show that this is true for any family of tasks which on the one hand, are unlearnable, and on the other hand, can be decomposed into a polynomial number of simple sub-tasks, each of which depends only on O(1) previous sub-task results. Beyond motivating contemporary empirical efforts for incorporating intermediate supervision in sequence-to-sequence language models, our positive theoretical result is the first of its kind in the landscape of results on the benefits of intermediate supervision for neural-network learning: Until now, all theoretical results on the subject are negative, i.e., show cases where learning is impossible without intermediate supervision, while our result is positive, showing that learning is facilitated in the presence of intermediate supervision.
Key facts. Cited by 41 papers in the map (data through 7 Oct 2026). Builds on 33 of its 62 references that are in the map. First posted on arXiv 6 Apr 2022.
Builds on
33 of 62 references.
References · 33
- 2017Attention Is All You Needcited by 59,932
- 2018BERT: Pre-training of Deep Bidirectional Transformers for Language Understandingcited by 40,204
- 2020Language Models are Few-Shot Learnerscited by 32,199
- 2014Very Deep Convolutional Networks for Large-Scale Image Recognitioncited by 15,267
- 2019Exploring the Limits of Transfer Learning with a Unified Text-to-Text Transformercited by 14,491
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2018Neural Tangent Kernel: Convergence and Generalization in Neural Networkscited by 2,597
- 2021Scaling Language Models: Methods, Analysis & Insights from Training Gophercited by 1,199
- 2022STaR: Bootstrapping Reasoning With Reasoningcited by 895
- 2021Show Your Work: Scratchpads for Intermediate Computation with Language Modelscited by 871
- 2021Did Aristotle Use a Laptop? A Question Answering Benchmark with Implicit Reasoning Strategiescited by 736
21 more
- 2017Program Induction by Rationale Generation : Learning to Solve and Explain Algebraic Word Problemscited by 642
- 2022Grokking: Generalization Beyond Overfitting on Small Algorithmic Datasetscited by 599
- 2019Explain Yourself! Leveraging Language Models for Commonsense Reasoningcited by 367
- 2021Generated Knowledge Prompting for Commonsense Reasoningcited by 213
- 2019SATNet: Bridging deep learning and logical reasoning using a differentiable satisfiability solvercited by 173
- 2022The merged-staircase property: a necessary and nearly sufficient condition for SGD learning of sparse functions on two-layer neural networkscited by 141
- 2019Polylogarithmic width suffices for gradient descent to achieve arbitrarily small test error with shallow ReLU networkscited by 120
- 2018On the Convergence Rate of Training Recurrent Neural Networkscited by 82
- 2017Failures of Gradient-Based Deep Learningcited by 79
- 2017Limits of End-to-End Learningcited by 35
- 2016Distribution-Specific Hardness of Learning Neural Networkscited by 27
- 2021On the Power of Differentiable Learning versus PAC and SQ Learningcited by 27
- 2021Measuring and Improving BERT's Mathematical Abilities by Predicting the Order of Reasoningcited by 23
- 2021How Much Coffee Was Consumed During EMNLP 2019? Fermi Problems: A New Reasoning Challenge for AIcited by 22
- 2014Complexity theoretic limitations on learning DNF'scited by 21
- 2021Computational Benefits of Intermediate Rewards for Goal-Reaching Policy Learningcited by 17
- 2021Which transformer architecture fits my data? A vocabulary bottleneck in self-attentioncited by 16
- 2013Knowledge Matters: Importance of Prior Information for Optimizationcited by 15
- 2021Teaching Autoregressive Language Models Complex Tasks By Demonstrationcited by 15
- 2016On the Sample Complexity of End-to-end Training vs. Semantic Abstraction Trainingcited by 9
- 2021On the Provable Generalization of Recurrent Neural Networkscited by 6
Built on by
Citing papers per year: 2022: 2; 2023: 5; 2024: 11; 2025: 13; 2026: 10.
41 papers.
Sort:
By area:
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspectivecited by 293
- 2024The pitfalls of next-token predictioncited by 156
- 2023Goat: Fine-tuned LLaMA Outperforms GPT-4 on Arithmetic Taskscited by 84
- 2023Auto-Regressive Next-Token Predictors are Universal Learnerscited by 65
- 2022Parsel: Algorithmic Reasoning with Language Models by Composing Decompositionscited by 62
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformerscited by 28
- 2025Roll the dice & look before you leap: Going beyond the creative limits of next-token predictioncited by 28
- 2024On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoningcited by 26
- 2024Language Models Do Hard Arithmetic Tasks Easily and Hardly Do Easy Arithmetic Taskscited by 24
- 2023Iterated Decomposition: Improving Science Q&A by Supervising Reasoning Processescited by 15
- 2024On The Specialization of Neural Modulescited by 14
- 2025Route-and-Reason: Scaling Large Language Model Reasoning with Reinforced Model Routercited by 13
29 more
- 2025Transformers Provably Learn Chain-of-Thought Reasoning with Length Generalizationcited by 12
- 2024A Theory for Length Generalization in Learning to Reasoncited by 11
- 2024Semformer: Transformer Language Models with Semantic Planningcited by 9
- 2025From Reasoning to Super-Intelligence: A Search-Theoretic Perspectivecited by 9
- 2024The Mystery of the Pathological Path-star Task for Language Modelscited by 8
- 2022Towards Generalizable and Robust Text-to-SQL Parsingcited by 7
- 2024KV Shifting Attention Enhances Language Modelingcited by 7
- 2025Fine-Tune an SLM or Prompt an LLM? The Case of Generating Low-Code Workflowscited by 6
- 2025Minimalist Softmax Attention Provably Learns Constrained Boolean Functionscited by 4
- 2023Progressive Translation: Improving Domain Robustness of Neural Machine Translation with Intermediate Sequencescited by 3
- 2024Compositional Hardness of Code in Large Language Models -- A Probabilistic Perspectivecited by 3
- 2025Language Models, Graph Searching, and Supervision Adulteration: When More Supervision is Less and How to Make More Morecited by 3
- 2025To Infinity and Beyond: Tool-Use Unlocks Length Generalization in State Space Modelscited by 3
- 2024Next-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof Generationcited by 2
- 2024Learning with Hidden Factorial Structurecited by 2
- 2025Data Shifts Hurt CoT: A Theoretical Studycited by 2
- 2026Can Vision-Language Models Solve the Shell Game?cited by 2
- 2025Transformers with RL or SFT Provably Learn Sparse Boolean Functions, But Differentlycited by 1
- 2026How Far Ahead Do LLMs Plan? Uncovering the Latent Horizon in Chain-of-Thought Reasoningcited by 1
- 2026When Is Compositional Reasoning Learnable from Verifiable Rewards?cited by 1
- 2026Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Tracescited by 1
- 2026Transformers Provably Learn to Internalize Chain-of-Thoughtcited by 1
- 2026When Does In-Context Search Help? A Sampling-Complexity Theory of Reflection-Driven Reasoningcited by 1
- 2025Learning Model Successorscited by 0
- 2025Intent-Driven Storage Systems: From Low-Level Tuning to High-Level Understandingcited by 0
- 2026Getting to the Point: Pointing Improves LVLMs at Countingcited by 0
- 2026PARM: Pipeline-Adapted Reward Modelcited by 0
- 2026Learning Large-Scale Modular Addition with an Auxiliary Moduluscited by 0
- 2026Verification with Transfer: Exact Information Frontiers and Their Price in Callscited by 0
- 2026Verification with Transfer: Exact Information Frontiers and Their Price in Calls8 Oct 2026
- 2026When Does In-Context Search Help? A Sampling-Complexity Theory of Reflection-Driven Reasoning7 Jul 2026
- 2026Transformers Provably Learn to Internalize Chain-of-Thought27 May 2026
- 2026Learning Large-Scale Modular Addition with an Auxiliary Modulus8 May 2026
- 2026PARM: Pipeline-Adapted Reward Model20 Apr 2026
- 2026Getting to the Point: Pointing Improves LVLMs at Counting23 Mar 2026
- 2026Can Vision-Language Models Solve the Shell Game?9 Mar 2026
- 2026Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Traces16 Feb 2026
- 2026When Is Compositional Reasoning Learnable from Verifiable Rewards?8 Feb 2026
- 2026How Far Ahead Do LLMs Plan? Uncovering the Latent Horizon in Chain-of-Thought Reasoning2 Feb 2026
- 2025Transformers with RL or SFT Provably Learn Sparse Boolean Functions, But Differently22 Nov 2025
- 2025Transformers Provably Learn Chain-of-Thought Reasoning with Length Generalization10 Nov 2025
29 more
- 2025To Infinity and Beyond: Tool-Use Unlocks Length Generalization in State Space Models16 Oct 2025
- 2025Intent-Driven Storage Systems: From Low-Level Tuning to High-Level Understanding29 Sep 2025
- 2025From Reasoning to Super-Intelligence: A Search-Theoretic Perspective13 Jul 2025
- 2025Data Shifts Hurt CoT: A Theoretical Study12 Jun 2025
- 2025Route-and-Reason: Scaling Large Language Model Reasoning with Reinforced Model Router6 Jun 2025
- 2025Fine-Tune an SLM or Prompt an LLM? The Case of Generating Low-Code Workflows30 May 2025
- 2025Minimalist Softmax Attention Provably Learns Constrained Boolean Functions26 May 2025
- 2025Roll the dice & look before you leap: Going beyond the creative limits of next-token prediction21 Apr 2025
- 2025Language Models, Graph Searching, and Supervision Adulteration: When More Supervision is Less and How to Make More More13 Mar 2025
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers4 Feb 2025
- 2025Learning Model Successors31 Jan 2025
- 2024KV Shifting Attention Enhances Language Modeling29 Nov 2024
- 2024Learning with Hidden Factorial Structure2 Nov 2024
- 2024Next-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof Generation30 Oct 2024
- 2024The Mystery of the Pathological Path-star Task for Language Models17 Oct 2024
- 2024Compositional Hardness of Code in Large Language Models -- A Probabilistic Perspective26 Sep 2024
- 2024On The Specialization of Neural Modules23 Sep 2024
- 2024Semformer: Transformer Language Models with Semantic Planning17 Sep 2024
- 2024On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoning20 Jun 2024
- 2024Language Models Do Hard Arithmetic Tasks Easily and Hardly Do Easy Arithmetic Tasks4 Jun 2024
- 2024A Theory for Length Generalization in Learning to Reason31 Mar 2024
- 2024The pitfalls of next-token prediction11 Mar 2024
- 2023Auto-Regressive Next-Token Predictors are Universal Learners13 Sep 2023
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspective24 May 2023
- 2023Goat: Fine-tuned LLaMA Outperforms GPT-4 on Arithmetic Tasks23 May 2023
- 2023Progressive Translation: Improving Domain Robustness of Neural Machine Translation with Intermediate Sequences16 May 2023
- 2023Iterated Decomposition: Improving Science Q&A by Supervising Reasoning Processes4 Jan 2023
- 2022Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions20 Dec 2022
- 2022Towards Generalizable and Robust Text-to-SQL Parsing23 Oct 2022
- 2023Towards Revealing the Mystery behind Chain of Thought: A Theoretical Perspectivecited by 293
- 2023Auto-Regressive Next-Token Predictors are Universal Learnerscited by 65
- 2022Parsel: Algorithmic Reasoning with Language Models by Composing Decompositionscited by 62
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformerscited by 28
- 2024On the Representational Capacity of Neural Language Models with Chain-of-Thought Reasoningcited by 26
- 2023Iterated Decomposition: Improving Science Q&A by Supervising Reasoning Processescited by 15
- 2025Route-and-Reason: Scaling Large Language Model Reasoning with Reinforced Model Routercited by 13
- 2025Transformers Provably Learn Chain-of-Thought Reasoning with Length Generalizationcited by 12
- 2025From Reasoning to Super-Intelligence: A Search-Theoretic Perspectivecited by 9
- 2025Data Shifts Hurt CoT: A Theoretical Studycited by 2
- 2025Transformers with RL or SFT Provably Learn Sparse Boolean Functions, But Differentlycited by 1
- 2026How Far Ahead Do LLMs Plan? Uncovering the Latent Horizon in Chain-of-Thought Reasoningcited by 1
12 most cited of 17 All 17 (JSON)
- 2026When Does In-Context Search Help? A Sampling-Complexity Theory of Reflection-Driven Reasoning7 Jul 2026
- 2026Transformers Provably Learn to Internalize Chain-of-Thought27 May 2026
- 2026Getting to the Point: Pointing Improves LVLMs at Counting23 Mar 2026
- 2026Boule or Baguette? A Study on Task Topology, Length Generalization, and the Benefit of Reasoning Traces16 Feb 2026
- 2026When Is Compositional Reasoning Learnable from Verifiable Rewards?8 Feb 2026
- 2026How Far Ahead Do LLMs Plan? Uncovering the Latent Horizon in Chain-of-Thought Reasoning2 Feb 2026
- 2025Transformers with RL or SFT Provably Learn Sparse Boolean Functions, But Differently22 Nov 2025
- 2025Transformers Provably Learn Chain-of-Thought Reasoning with Length Generalization10 Nov 2025
- 2025From Reasoning to Super-Intelligence: A Search-Theoretic Perspective13 Jul 2025
- 2025Data Shifts Hurt CoT: A Theoretical Study12 Jun 2025
- 2025Route-and-Reason: Scaling Large Language Model Reasoning with Reinforced Model Router6 Jun 2025
- 2025Lower Bounds for Chain-of-Thought Reasoning in Hard-Attention Transformers4 Feb 2025
12 newest of 17 All 17 (JSON)
- 2026PARM: Pipeline-Adapted Reward Modelcited by 0
- 2026PARM: Pipeline-Adapted Reward Model20 Apr 2026
- 2026Can Vision-Language Models Solve the Shell Game?cited by 2
- 2026Can Vision-Language Models Solve the Shell Game?9 Mar 2026
- 2024The pitfalls of next-token predictioncited by 156
- 2023Goat: Fine-tuned LLaMA Outperforms GPT-4 on Arithmetic Taskscited by 84
- 2025Roll the dice & look before you leap: Going beyond the creative limits of next-token predictioncited by 28
- 2024Language Models Do Hard Arithmetic Tasks Easily and Hardly Do Easy Arithmetic Taskscited by 24
- 2024On The Specialization of Neural Modulescited by 14
- 2024A Theory for Length Generalization in Learning to Reasoncited by 11
- 2024Semformer: Transformer Language Models with Semantic Planningcited by 9
- 2024The Mystery of the Pathological Path-star Task for Language Modelscited by 8
- 2022Towards Generalizable and Robust Text-to-SQL Parsingcited by 7
- 2024KV Shifting Attention Enhances Language Modelingcited by 7
- 2025Fine-Tune an SLM or Prompt an LLM? The Case of Generating Low-Code Workflowscited by 6
- 2025Minimalist Softmax Attention Provably Learns Constrained Boolean Functionscited by 4
12 most cited of 22 All 22 (JSON)
- 2026Verification with Transfer: Exact Information Frontiers and Their Price in Calls8 Oct 2026
- 2026Learning Large-Scale Modular Addition with an Auxiliary Modulus8 May 2026
- 2025To Infinity and Beyond: Tool-Use Unlocks Length Generalization in State Space Models16 Oct 2025
- 2025Intent-Driven Storage Systems: From Low-Level Tuning to High-Level Understanding29 Sep 2025
- 2025Fine-Tune an SLM or Prompt an LLM? The Case of Generating Low-Code Workflows30 May 2025
- 2025Minimalist Softmax Attention Provably Learns Constrained Boolean Functions26 May 2025
- 2025Roll the dice & look before you leap: Going beyond the creative limits of next-token prediction21 Apr 2025
- 2025Language Models, Graph Searching, and Supervision Adulteration: When More Supervision is Less and How to Make More More13 Mar 2025
- 2025Learning Model Successors31 Jan 2025
- 2024KV Shifting Attention Enhances Language Modeling29 Nov 2024
- 2024Learning with Hidden Factorial Structure2 Nov 2024
- 2024Next-Token Prediction Task Assumes Optimal Data Ordering for LLM Training in Proof Generation30 Oct 2024
12 newest of 22 All 22 (JSON)