Parsel: Algorithmic Reasoning with Language Models by Composing Decompositions
On the map: LLM reasoning → Reasoning benchmarks and evaluation
Abstract (arXiv)
Despite recent success in large language model (LLM) reasoning, LLMs struggle with hierarchical multi-step reasoning tasks like generating complex programs. For these tasks, humans often start with a high-level algorithmic design and implement each part gradually. We introduce Parsel, a framework enabling automatic implementation and validation of complex algorithms with code LLMs. With Parsel, we automatically decompose algorithmic tasks into hierarchical natural language function descriptions and then search over combinations of possible function implementations using tests. We show that Parsel can be used across domains requiring hierarchical reasoning, including program synthesis and robotic planning. We find that, using Parsel, LLMs solve more competition-level problems in the APPS dataset, resulting in pass rates over 75% higher than prior results from directly sampling AlphaCode and Codex, while often using a smaller sample budget. Moreover, with automatically generated tests, we find that Parsel can improve the state-of-the-art pass@1 performance on HumanEval from 67% to 85%. We also find that LLM-generated robotic plans using Parsel are more than twice as likely to be considered accurate than directly generated plans. Lastly, we explore how Parsel addresses LLM limitations and discuss how Parsel may be useful for human programmers. We release our code at https://github.com/ezelikman/parsel
Key facts. Cited by 62 papers in the map (data through 7 Oct 2026). Placed in Reasoning benchmarks and evaluation, one of 17 directions in LLM reasoning. Builds on 49 of its 76 references that are in the map. First posted on arXiv 20 Dec 2022.
Builds on
49 of 76 references.
Closest ancestors · 2
Same direction, newest first
- 2022ReAct: Synergizing Reasoning and Acting in Language Models6 Oct
- 2021Show Your Work: Scratchpads for Intermediate Computation with Language Models30 Nov
Other references · 47
- 2019PyTorch: An Imperative Style, High-Performance Deep Learning Librarycited by 20,160
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,302
- 2021Training Verifiers to Solve Math Word Problemscited by 9,743
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2022Large Language Models are Zero-Shot Reasonerscited by 4,323
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2022Do As I Can, Not As I Say: Grounding Language in Robotic Affordancescited by 2,302
- 2022Competition-Level Code Generation with AlphaCodecited by 1,427
- 2022Least-to-Most Prompting Enables Complex Reasoning in Large Language Modelscited by 1,397
- 2022Language Models as Zero-Shot Planners: Extracting Actionable Knowledge for Embodied Agentscited by 1,029
- 2022STaR: Bootstrapping Reasoning With Reasoningcited by 895
- 2021GLaM: Efficient Scaling of Language Models with Mixture-of-Expertscited by 890
35 more
- 2021Measuring Coding Challenge Competence With APPScited by 879
- 2022CodeGen: An Open Large Language Model for Code with Multi-Turn Program Synthesiscited by 876
- 2022Solving math word problems with process- and outcome-based feedbackcited by 871
- 2022ProgPrompt: Generating Situated Robot Task Plans using Large Language Modelscited by 598
- 2018VirtualHome: Simulating Household Activities via Programscited by 411
- 2021MiniF2F: a cross-system benchmark for formal Olympiad-level mathematicscited by 380
- 2020Generative Language Modeling for Automated Theorem Provingcited by 379
- 2022CodeT: Code Generation with Generated Testscited by 369
- 2019Explain Yourself! Leveraging Language Models for Commonsense Reasoningcited by 367
- 2022A Systematic Evaluation of Large Language Models of Codecited by 360
- 2022Draft, Sketch, and Prove: Guiding Formal Theorem Provers with Informal Proofscited by 278
- 2022Can language models learn from explanations in context?cited by 248
- 2017Thinking Fast and Slow with Deep Learning and Tree Searchcited by 245
- 2022Binding Language Models in Symbolic Languagescited by 224
- 2022Exploring Length Generalization in Large Language Modelscited by 204
- 2022Do Users Write More Insecure Code with AI Assistants?cited by 186
- 2018Learning to Mine Aligned Code and Natural Language Pairs from Stack Overflowcited by 165
- 2020Unsupervised Commonsense Question Answering with Self-Talkcited by 161
- 2022Multi-lingual Evaluation of Code Generation Modelscited by 158
- 2022Synchromesh: Reliable code generation from pre-trained language modelscited by 156
- 2022Teaching Algorithmic Reasoning via In-context Learningcited by 111
- 2022Prompting Is Programming: A Query Language for Large Language Modelscited by 110
- 2022Language Model Cascadescited by 104
- 2022Successive Prompting for Decomposing Complex Questionscited by 94
- 2022Natural Language to Code Generation in Interactive Data Science Notebookscited by 86
- 2021Few-Shot Self-Rationalization with Natural Language Promptscited by 83
- 2022Coder Reviewer Reranking for Code Generationcited by 83
- 2022Conversing with Copilot: Exploring Prompt Engineering for Solving CS1 Problems Using Natural Languagecited by 81
- 2022A Generalist Neural Algorithmic Learnercited by 58
- 2022Top-Down Synthesis for Library Learningcited by 57
- 2021Provable Limitations of Acquiring Meaning from Ungrounded Form: What Will Future Language Models Understand?cited by 55
- 2015Program Synthesis using Natural Languagecited by 41
- 2022Sub-Task Decomposition Enables Learning in Sequence to Sequence Taskscited by 41
- 2021Communicating Natural Programs to Humans and Machinescited by 35
- 2020BUSTLE: Bottom-Up Program Synthesis Through Learning-Guided Explorationcited by 30
Built on by
Citing papers per year: 2023: 8; 2024: 32; 2025: 14; 2026: 8.
62 papers.
Sort:
By area:
- 2024SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineeringcited by 1,628
- 2024Quiet-STaR: Language Models Can Teach Themselves to Think Before Speakingcited by 292
- 2024Large Language Model-Based Agents for Software Engineering: A Surveycited by 173
- 2024Cut the Crap: An Economical Communication Pipeline for LLM-based Multi-Agent Systemscited by 129
- 2023Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generationcited by 128
- 2023Hypothesis Search: Inductive Reasoning with Language Modelscited by 119
- 2024CodeR: Issue Resolving with Multi-Agent and Task Graphscited by 89
- 2024Symbolic Regression with a Learned Concept Librarycited by 76
- 2024HyperAgent: Generalist Software Engineering Agents to Solve Coding Tasks at Scalecited by 61
- 2025A Self-Improving Coding Agentcited by 58
- 2024Code Repair with LLMs gives an Exploration-Exploitation Tradeoffcited by 50
- 2024Can LLM Graph Reasoning Generalize beyond Pattern Memorization?cited by 46
38 more
- 2024From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debuggingcited by 46
- 2024On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)cited by 40
- 2025Repo2Run: Automated Building Executable Environment for Code Repository at Scalecited by 39
- 2024Generating Code World Models with Large Language Models Guided by Monte Carlo Tree Searchcited by 38
- 2024What Makes Large Language Models Reason in (Multi-Turn) Code Generation?cited by 29
- 2023AI capabilities can be significantly improved without expensive retrainingcited by 28
- 2024CodeS: Natural Language to Code Repository via Multi-Layer Sketchcited by 28
- 2024Is Programming by Example solved by LLMs?cited by 27
- 2023Exposing Limitations of Language Model Agents in Sequential-Task Compositions on the Webcited by 23
- 2025Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematicscited by 22
- 2025Large Language Model-based Data Science Agent: A Surveycited by 22
- 2023Think Outside the Code: Brainstorming Boosts Large Language Models in Code Generationcited by 19
- 2024Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generationcited by 19
- 2024Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysiscited by 16
- 2024Towards Rationality in Language and Multimodal Agents: A Surveycited by 15
- 2023Evaluating statistical language models as pragmatic reasonerscited by 14
- 2024Learning Task Decomposition to Assist Humans in Competitive Programmingcited by 14
- 2024NeSyCoCo: A Neuro-Symbolic Concept Composer for Compositional Generalizationcited by 13
- 2025SOP-Agent: Empower General Purpose AI Agent with Domain-Specific SOPscited by 11
- 2025Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approachcited by 10
- 2024"Set It Up!": Functional Object Arrangement with Compositional Generative Modelscited by 9
- 2024FactorSim: Generative Simulation via Factorized Representationcited by 9
- 2024FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardwarecited by 9
- 2025DISC: Dynamic Decomposition Improves LLM Inference Scalingcited by 9
- 2024PLUM: Improving Code LMs with Execution-Guided On-Policy Preference Learning Driven By Synthetic Test Casescited by 8
- 2026Understanding the Challenges in Iterative Generative Optimization with LLMscited by 8
- 2024Planning-Driven Programming: A Large Language Model Programming Workflowcited by 7
- 2026LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunitiescited by 7
- 2024DCA-Bench: A Benchmark for Dataset Curation Agentscited by 6
- 2025CodeVisionary: An Agent-based Framework for Evaluating Large Language Models in Code Generationcited by 6
- 2025Understanding and Enhancing the Planning Capability of Language Models via Multi-Token Predictioncited by 6
- 2023AskIt: Unified Programming Interface for Programming with Large Language Modelscited by 5
- 2025Distinct Computations Emerge From Compositional Curricula in In-Context Learningcited by 5
- 2024Understanding How CodeLLMs (Mis)Predict Types with Activation Steeringcited by 4
- 2024Testing the Effect of Code Documentation on Large Language Model Code Understandingcited by 4
- 2024Towards Learning Foundation Models for Heuristic Functions to Solve Pathfinding Problemscited by 4
- 2024MathLearner: A Large Language Model Agent Framework for Learning to Solve Mathematical Problemscited by 4
- 2026Training LLMs for Divide-and-Conquer Reasoning Elevates Test-Time Scalabilitycited by 4
50 most cited of 62 All 62 (JSON)
- 2026Harness as a Language: A Minimalist Agent Framework With Maximal Expressivity22 Sep 2026
- 2026Solvita: Enhancing Large Language Models for Competitive Programming via Agentic Evolution14 May 2026
- 2026Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm10 Apr 2026
- 2026Understanding the Challenges in Iterative Generative Optimization with LLMs25 Mar 2026
- 2026Cognitive Models and AI Algorithms Provide Templates for Designing Language Agents26 Feb 2026
- 2026KernelCraft: Benchmarking for Agentic Close-to-Metal Kernel Generation on Emerging Hardware10 Feb 2026
- 2026Training LLMs for Divide-and-Conquer Reasoning Elevates Test-Time Scalability2 Feb 2026
- 2026LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunities14 Jan 2026
- 2025Designing LLM-based Multi-Agent Systems for Software Engineering Tasks: Quality Attributes, Design Patterns and Rationale11 Nov 2025
- 2025RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows10 Oct 2025
- 2025Understanding and Enhancing the Planning Capability of Language Models via Multi-Token Prediction27 Sep 2025
- 2025Large Language Model-based Data Science Agent: A Survey2 Aug 2025
38 more
- 2025Distinct Computations Emerge From Compositional Curricula in In-Context Learning16 Jun 2025
- 2025Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approach29 May 2025
- 2025Cooking Up Creativity: Enhancing LLM Creativity through Structured Recombination29 Apr 2025
- 2025A Self-Improving Coding Agent21 Apr 2025
- 2025CodeVisionary: An Agent-based Framework for Evaluating Large Language Models in Code Generation18 Apr 2025
- 2025Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics1 Apr 2025
- 2025DISC: Dynamic Decomposition Improves LLM Inference Scaling23 Feb 2025
- 2025Repo2Run: Automated Building Executable Environment for Code Repository at Scale19 Feb 2025
- 2025Can Large Language Models Be Trusted as Evolutionary Optimizers for Network-Structured Combinatorial Problems?25 Jan 2025
- 2025SOP-Agent: Empower General Purpose AI Agent with Domain-Specific SOPs16 Jan 2025
- 2024NeSyCoCo: A Neuro-Symbolic Concept Composer for Compositional Generalization20 Dec 2024
- 2024Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis18 Dec 2024
- 2024Planning-Driven Programming: A Large Language Model Programming Workflow21 Nov 2024
- 2024FVEval: Understanding Language Model Capabilities in Formal Verification of Digital Hardware15 Oct 2024
- 2024What Makes Large Language Models Reason in (Multi-Turn) Code Generation?10 Oct 2024
- 2024Cut the Crap: An Economical Communication Pipeline for LLM-based Multi-Agent Systems3 Oct 2024
- 2024From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debugging2 Oct 2024
- 2024FactorSim: Generative Simulation via Factorized Representation26 Sep 2024
- 2024Symbolic Regression with a Learned Concept Library14 Sep 2024
- 2024HyperAgent: Generalist Software Engineering Agents to Solve Coding Tasks at Scale9 Sep 2024
- 2024Large Language Model-Based Agents for Software Engineering: A Survey4 Sep 2024
- 2024MathLearner: A Large Language Model Agent Framework for Learning to Solve Mathematical Problems3 Aug 2024
- 2024Can LLM Graph Reasoning Generalize beyond Pattern Memorization?23 Jun 2024
- 2024Is Programming by Example solved by LLMs?12 Jun 2024
- 2024DCA-Bench: A Benchmark for Dataset Curation Agents11 Jun 2024
- 2024PLUM: Improving Code LMs with Execution-Guided On-Policy Preference Learning Driven By Synthetic Test Cases11 Jun 2024
- 2024Learning Task Decomposition to Assist Humans in Competitive Programming7 Jun 2024
- 2024CodeR: Issue Resolving with Multi-Agent and Task Graphs3 Jun 2024
- 2024Towards Learning Foundation Models for Heuristic Functions to Solve Pathfinding Problems1 Jun 2024
- 2024Towards Rationality in Language and Multimodal Agents: A Survey1 Jun 2024
- 2024Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generation30 May 2024
- 2024AbstractBeam: Enhancing Bottom-Up Program Synthesis using Library Learning27 May 2024
- 2024Code Repair with LLMs gives an Exploration-Exploitation Tradeoff26 May 2024
- 2024Generating Code World Models with Large Language Models Guided by Monte Carlo Tree Search24 May 2024
- 2024"Set It Up!": Functional Object Arrangement with Compositional Generative Models20 May 2024
- 2024SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineering6 May 2024
- 2024Comments as Natural Logic Pivots: Improve Code Generation via Comment Perspective11 Apr 2024
- 2024Testing the Effect of Code Documentation on Large Language Model Code Understanding3 Apr 2024
50 newest of 62 All 62 (JSON)
- 2024SWE-agent: Agent-Computer Interfaces Enable Automated Software Engineeringcited by 1,628
- 2024Large Language Model-Based Agents for Software Engineering: A Surveycited by 173
- 2024Cut the Crap: An Economical Communication Pipeline for LLM-based Multi-Agent Systemscited by 129
- 2024HyperAgent: Generalist Software Engineering Agents to Solve Coding Tasks at Scalecited by 61
- 2025A Self-Improving Coding Agentcited by 58
- 2023Exposing Limitations of Language Model Agents in Sequential-Task Compositions on the Webcited by 23
- 2025Large Language Model-based Data Science Agent: A Surveycited by 22
- 2024Towards Rationality in Language and Multimodal Agents: A Surveycited by 15
- 2025SOP-Agent: Empower General Purpose AI Agent with Domain-Specific SOPscited by 11
- 2026LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunitiescited by 7
- 2024DCA-Bench: A Benchmark for Dataset Curation Agentscited by 6
- 2025CodeVisionary: An Agent-based Framework for Evaluating Large Language Models in Code Generationcited by 6
12 most cited of 18 All 18 (JSON)
- 2026Harness as a Language: A Minimalist Agent Framework With Maximal Expressivity22 Sep 2026
- 2026Solvita: Enhancing Large Language Models for Competitive Programming via Agentic Evolution14 May 2026
- 2026Cognitive Models and AI Algorithms Provide Templates for Designing Language Agents26 Feb 2026
- 2026KernelCraft: Benchmarking for Agentic Close-to-Metal Kernel Generation on Emerging Hardware10 Feb 2026
- 2026LLM-Based Agentic Systems for Software Engineering: Challenges and Opportunities14 Jan 2026
- 2025Designing LLM-based Multi-Agent Systems for Software Engineering Tasks: Quality Attributes, Design Patterns and Rationale11 Nov 2025
- 2025RefGrader: Automated Grading of Mathematical Competition Proofs using Agentic Workflows10 Oct 2025
- 2025Large Language Model-based Data Science Agent: A Survey2 Aug 2025
- 2025A Self-Improving Coding Agent21 Apr 2025
- 2025CodeVisionary: An Agent-based Framework for Evaluating Large Language Models in Code Generation18 Apr 2025
- 2025SOP-Agent: Empower General Purpose AI Agent with Domain-Specific SOPs16 Jan 2025
- 2024Cut the Crap: An Economical Communication Pipeline for LLM-based Multi-Agent Systems3 Oct 2024
12 newest of 18 All 18 (JSON)
- 2024Quiet-STaR: Language Models Can Teach Themselves to Think Before Speakingcited by 292
- 2023Hypothesis Search: Inductive Reasoning with Language Modelscited by 119
- 2024Can LLM Graph Reasoning Generalize beyond Pattern Memorization?cited by 46
- 2024What Makes Large Language Models Reason in (Multi-Turn) Code Generation?cited by 29
- 2025Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematicscited by 22
- 2023Think Outside the Code: Brainstorming Boosts Large Language Models in Code Generationcited by 19
- 2023Evaluating statistical language models as pragmatic reasonerscited by 14
- 2024MathLearner: A Large Language Model Agent Framework for Learning to Solve Mathematical Problemscited by 4
- 2026Training LLMs for Divide-and-Conquer Reasoning Elevates Test-Time Scalabilitycited by 4
- 2024Comments as Natural Logic Pivots: Improve Code Generation via Comment Perspectivecited by 3
- 2026Training LLMs for Divide-and-Conquer Reasoning Elevates Test-Time Scalability2 Feb 2026
- 2025Brains vs. Bytes: Evaluating LLM Proficiency in Olympiad Mathematics1 Apr 2025
- 2024What Makes Large Language Models Reason in (Multi-Turn) Code Generation?10 Oct 2024
- 2024MathLearner: A Large Language Model Agent Framework for Learning to Solve Mathematical Problems3 Aug 2024
- 2024Can LLM Graph Reasoning Generalize beyond Pattern Memorization?23 Jun 2024
- 2024Comments as Natural Logic Pivots: Improve Code Generation via Comment Perspective11 Apr 2024
- 2024Quiet-STaR: Language Models Can Teach Themselves to Think Before Speaking14 Mar 2024
- 2023Hypothesis Search: Inductive Reasoning with Language Models11 Sep 2023
- 2023Think Outside the Code: Brainstorming Boosts Large Language Models in Code Generation18 May 2023
- 2023Evaluating statistical language models as pragmatic reasoners1 May 2023
- 2024CodeR: Issue Resolving with Multi-Agent and Task Graphscited by 89
- 2024Symbolic Regression with a Learned Concept Librarycited by 76
- 2024Code Repair with LLMs gives an Exploration-Exploitation Tradeoffcited by 50
- 2024From Code to Correctness: Closing the Last Mile of Code Generation with Hierarchical Debuggingcited by 46
- 2024On the Prospects of Incorporating Large Language Models (LLMs) in Automated Planning and Scheduling (APS)cited by 40
- 2025Repo2Run: Automated Building Executable Environment for Code Repository at Scalecited by 39
- 2023AI capabilities can be significantly improved without expensive retrainingcited by 28
- 2024CodeS: Natural Language to Code Repository via Multi-Layer Sketchcited by 28
- 2024Is Programming by Example solved by LLMs?cited by 27
- 2024Divide-and-Conquer Meets Consensus: Unleashing the Power of Functions in Code Generationcited by 19
- 2024Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysiscited by 16
- 2024Learning Task Decomposition to Assist Humans in Competitive Programmingcited by 14
12 most cited of 31 All 31 (JSON)
- 2026Contract-Coding: Towards Repo-Level Generation via Structured Symbolic Paradigm10 Apr 2026
- 2026Understanding the Challenges in Iterative Generative Optimization with LLMs25 Mar 2026
- 2025Understanding and Enhancing the Planning Capability of Language Models via Multi-Token Prediction27 Sep 2025
- 2025Distinct Computations Emerge From Compositional Curricula in In-Context Learning16 Jun 2025
- 2025Enhancing LLM-Based Code Generation with Complexity Metrics: A Feedback-Driven Approach29 May 2025
- 2025Cooking Up Creativity: Enhancing LLM Creativity through Structured Recombination29 Apr 2025
- 2025DISC: Dynamic Decomposition Improves LLM Inference Scaling23 Feb 2025
- 2025Repo2Run: Automated Building Executable Environment for Code Repository at Scale19 Feb 2025
- 2025Can Large Language Models Be Trusted as Evolutionary Optimizers for Network-Structured Combinatorial Problems?25 Jan 2025
- 2024NeSyCoCo: A Neuro-Symbolic Concept Composer for Compositional Generalization20 Dec 2024
- 2024Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis18 Dec 2024
- 2024Planning-Driven Programming: A Large Language Model Programming Workflow21 Nov 2024
12 newest of 31 All 31 (JSON)
Similar, not cited
Close in wording, no citation either way
- 2025Compute-Accuracy Pareto Frontiers for Open-Source Reasoning Large Language Models
- 2024LLM Reasoners: New Evaluation, Library, and Analysis of Step-by-Step Reasoning with Large Language Models
- 2025CRISP: Complex Reasoning with Interpretable Step-based Plans
- 2025From Implicit Exploration to Structured Reasoning: Leveraging Guideline and Refinement for LLMs
- 2025Implicit Reasoning in Large Language Models: A Comprehensive Survey
- 2025SLR: Automated Synthesis for Scalable Logical Reasoning
- 2025Code Simulation as a Proxy for High-order Tasks in Large Language Models
- 2024ShortcutsBench: A Large-Scale Real-world Benchmark for API-based Agents