Natural Language to Code Translation with Execution
Not on the map. Why?
Cited by 24 in LLM reasoning, but placed by its own abstract, which didn’t fit.
Abstract (arXiv)
Generative models of code, pretrained on large corpora of programs, have shown great success in translating natural language to code (Chen et al., 2021; Austin et al., 2021; Li et al., 2022, inter alia). While these models do not explicitly incorporate program semantics (i.e., execution results) during training, they are able to generate correct solutions for many problems. However, choosing a single correct program from a generated set for each problem remains challenging. In this work, we introduce execution result--based minimum Bayes risk decoding (MBR-EXEC) for program selection and show that it improves the few-shot performance of pretrained code models on natural-language-to-code tasks. We select output programs from a generated candidate set by marginalizing over program implementations that share the same semantics. Because exact equivalence is intractable, we execute each program on a small number of test inputs to approximate semantic equivalence. Across datasets, execution or simulated execution significantly outperforms the methods that do not involve program semantics. We find that MBR-EXEC consistently improves over all execution-unaware selection methods, suggesting it as an effective approach for natural language to code translation. We open-source our code at github.com/facebookresearch/mbr-exec and data at dl.fbaipublicfiles.com/mbr-exec/mbr-exec-release.zip
Key facts. Cited by 124 papers in the map (data through 14 Oct 2026). Builds on 36 of its 58 references that are in the map. First posted on arXiv 25 Apr 2022.
Builds on
36 of 58 references.
References · 36
- 2017Attention Is All You Needcited by 60,361
- 2020Language Models are Few-Shot Learnerscited by 32,419
- 2022Chain-of-Thought Prompting Elicits Reasoning in Large Language Modelscited by 12,459
- 2021Evaluating Large Language Models Trained on Codecited by 8,320
- 2022Self-Consistency Improves Chain of Thought Reasoning in Language Modelscited by 5,708
- 2021Prefix-Tuning: Optimizing Continuous Prompts for Generationcited by 3,915
- 2021The Power of Scale for Parameter-Efficient Prompt Tuningcited by 3,795
- 2021Program Synthesis with Large Language Modelscited by 3,637
- 2021Pre-train, Prompt, and Predict: A Systematic Survey of Prompting Methods in Natural Language Processingcited by 2,234
- 2022Competition-Level Code Generation with AlphaCodecited by 1,462
- 2020Making Pre-trained Language Models Better Few-shot Learnerscited by 1,256
- 2018Spider: A Large-Scale Human-Labeled Dataset for Complex and Cross-Domain Semantic Parsing and Text-to-SQL Taskcited by 1,139
24 more
- 2019How Can We Know What Language Models Know?cited by 959
- 2021Measuring Coding Challenge Competence With APPScited by 902
- 2021CodeXGLUE: A Machine Learning Benchmark Dataset for Code Understanding and Generationcited by 744
- 2021BARTScore: Evaluating Generated Text as Text Generationcited by 722
- 2019Neural Text Generation with Unlikelihood Trainingcited by 503
- 2020UnifiedQA: Crossing Format Boundaries With a Single QA Systemcited by 476
- 2021PICARD: Parsing Incrementally for Constrained Auto-Regressive Decoding from Language Modelscited by 411
- 2021Factual Probing Is [MASK]: Learning vs. Learning to Recallcited by 291
- 2022UnifiedSKG: Unifying and Multi-Tasking Structured Knowledge Grounding with Text-to-Text Language Modelscited by 231
- 2021Implicit Representations of Meaning in Neural Language Modelscited by 180
- 2018Learning to Mine Aligned Code and Natural Language Pairs from Stack Overflowcited by 165
- 2021Noisy Channel Language Model Prompting for Few-Shot Text Classificationcited by 165
- 2020Is MAP Decoding All You Need? The Inadequacy of the Mode in Neural Machine Translationcited by 138
- 2020Semantic Evaluation for Text-to-SQL with Distilled Test Suitescited by 126
- 2018Coarse-to-Fine Decoding for Neural Semantic Parsingcited by 110
- 2018NL2Bash: A Corpus and Semantic Parser for Natural Language Interface to the Linux Operating Systemcited by 98
- 2017Abstract Syntax Networks for Code Generation and Semantic Parsingcited by 92
- 2016Latent Predictor Networks for Code Generationcited by 73
- 2021DOBF: A Deobfuscation Pre-Training Objective for Programming Languagescited by 68
- 2017A parallel corpus of Python functions and documentation strings for automated code documentation and code generationcited by 57
- 2019Visually Grounded Neural Syntax Acquisitioncited by 48
- 2020Efficient Second-Order TreeCRF for Neural Dependency Parsingcited by 48
- 2020Incorporating External Knowledge through Pre-training for Natural Language to Code Generationcited by 36
- 2018Learning to Map Context-Dependent Sentences to Executable Formal Queriescited by 23
Built on by
Citing papers per year: 2022: 11; 2023: 35; 2024: 39; 2025: 19; 2026: 20.
124 papers.
Sort:
By area:
- 2023Teaching Large Language Models to Self-Debugcited by 988
- 2023Large Language Models Can Be Easily Distracted by Irrelevant Contextcited by 841
- 2023Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Modelscited by 698
- 2024BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructionscited by 546
- 2022Language Models are Multilingual Chain-of-Thought Reasonerscited by 530
- 2022DS-1000: A Natural and Reliable Benchmark for Data Science Code Generationcited by 452
- 2023Augmented Language Models: a Surveycited by 403
- 2022CodeT: Code Generation with Generated Testscited by 384
- 2024INSIDE: LLMs' Internal States Retain the Power of Hallucination Detectioncited by 323
- 2024CRUXEval: A Benchmark for Code Reasoning, Understanding and Executioncited by 300
- 2023FacTool: Factuality Detection in Generative AI -- A Tool Augmented Framework for Multi-Task and Multi-Domain Scenarioscited by 251
- 2024When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMscited by 240
38 more
- 2023LEVER: Learning to Verify Language-to-Code Generation with Executioncited by 239
- 2023InterCode: Standardizing and Benchmarking Interactive Coding with Execution Feedbackcited by 238
- 2022Binding Language Models in Symbolic Languagescited by 228
- 2023Universal Self-Consistency for Large Language Model Generationcited by 203
- 2023Is Self-Repair a Silver Bullet for Code Generation?cited by 197
- 2025Dynamic Cheatsheet: Test-Time Learning with Adaptive Memorycited by 163
- 2023Text2Reward: Reward Shaping with Language Models for Reinforcement Learningcited by 160
- 2022Multi-lingual Evaluation of Code Generation Modelscited by 159
- 2022DocPrompting: Generating Code by Retrieving the Docscited by 153
- 2023Compositional Exemplars for In-context Learningcited by 144
- 2024From Decoding to Meta-Generation: Inference-time Algorithms for Large Language Modelscited by 137
- 2023Grounding Language Models to Images for Multimodal Inputs and Outputscited by 131
- 2024Debug like a Human: A Large Language Model Debugger via Verifying Runtime Execution Step-by-stepcited by 127
- 2024Next-Generation Database Interfaces: A Survey of LLM-based Text-to-SQLcited by 120
- 2023Self-Edit: Fault-Aware Code Editor for Code Generationcited by 111
- 2022Compositional Semantic Parsing with Large Language Modelscited by 95
- 2022Coder Reviewer Reranking for Code Generationcited by 84
- 2024If LLM Is the Wizard, Then Code Is the Wand: A Survey on How Code Empowers Large Language Models to Serve as Intelligent Agentscited by 79
- 2024TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Taskscited by 75
- 2023Clover: Closed-Loop Verifiable Code Generationcited by 67
- 2023CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modulescited by 58
- 2022Follow the Wisdom of the Crowd: Effective Text Generation via Minimum Bayes Risk Decodingcited by 54
- 2023It's MBR All the Way Down: Modern Generation Techniques Through the Lens of Minimum Bayes Riskcited by 51
- 2024Self-Consistency Preference Optimizationcited by 50
- 2023Enhancing Large Language Models in Coding Through Multi-Perspective Self-Consistencycited by 46
- 2024Iterative Refinement of Project-Level Code Context for Precise Code Generation with Compiler Feedbackcited by 46
- 2025Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlocited by 46
- 2023SelfEvolve: A Code Evolution Framework via Large Language Modelscited by 43
- 2024The Larger the Better? Improved LLM Code-Generation via Budget Reallocationcited by 43
- 2023ALGO: Synthesizing Algorithmic Programs with LLM-Generated Oracle Verifierscited by 41
- 2023Faster Minimum Bayes Risk Decoding with Confidence-based Pruningcited by 34
- 2024CodeTree: Agent-guided Tree Search for Code Generation with Large Language Modelscited by 34
- 2025Uncertainty-Guided Chain-of-Thought for Code Generation with LLMscited by 32
- 2023Learning Deep Semantics for Test Completioncited by 31
- 2024InternalInspector I2: Robust Confidence Estimation in LLMs through Internal Statescited by 30
- 2023CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generationcited by 29
- 2024What Makes Large Language Models Reason in (Multi-Turn) Code Generation?cited by 29
- 2023L2CEval: Evaluating Language-to-Code Generation Capabilities of Large Language Modelscited by 22
50 most cited of 124 All 124 (JSON)
- 2026Beyond the Verdict: Agentic Code Judging with Verifiable Feedback13 Oct 2026
- 2026Verification Trap: Understanding Test-Time Selection Failures under False Premises in Code Generation4 Oct 2026
- 2026Entropy-Regularized Rank-Masked Policy Optimization for Test-Time Reinforcement Learning in Code Generation8 Sep 2026
- 2026Test-Time Scaling for CAD Generation via Verifier-Free Consensus Selection10 Aug 2026
- 2026Oracle Gap and Signal Fidelity: A Fixed-Pool Diagnostic for Test-Time Collaboration20 Jul 2026
- 2026Selection Without Signal, Recovery Through Expression: A Measurement Study of Post-Hoc Falsification Operators for Frozen Small Code Models15 Jun 2026
- 2026Semantic Voting: Execution-Grounded Consensus for LLM Code Generation9 May 2026
- 2026Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching9 May 2026
- 2026CoAct: Co-Active LLM Preference Learning with Human-AI Synergy19 Apr 2026
- 2026Majority Voting for Code Generation17 Apr 2026
- 2026ACES: Who Tests the Tests? Leave-One-Out AUC Consistency for Code Generation5 Apr 2026
- 2026Executing as You Generate: Hiding Execution Latency in LLM Code Interpreters1 Apr 2026
38 more
- 2026DS2-Instruct: Domain-Specific Data Synthesis for Large Language Models Instruction Tuning13 Mar 2026
- 2026ReflexiCoder: Teaching Large Language Models to Self-Reflect on Generated Code and Self-Correct It via Reinforcement Learning6 Mar 2026
- 2026MIST-RL: Mutation-based Incremental Suite Testing via Reinforcement Learning2 Mar 2026
- 2026Beyond Static Pipelines: Learning Dynamic Workflows for Text-to-SQL17 Feb 2026
- 2026A Theoretical Analysis of Test-Driven Code Generation5 Feb 2026
- 2026Scaling Agentic Verifier for Competitive Coding4 Feb 2026
- 2026CVeDRL: An Efficient Code Verifier via Difficulty-aware Reinforcement Learning30 Jan 2026
- 2026Aletheia: What Makes RLVR For Code Verifiers Tick?17 Jan 2026
- 2025ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries13 Nov 2025
- 2025AI-Driven Self-Evolving Software: A Promising Path Toward Software Automation1 Oct 2025
- 2025Program Synthesis via Test-Time Transduction22 Sep 2025
- 2025SketchAgent: Generating Structured Diagrams from Hand-Drawn Sketches2 Aug 2025
- 2025Accurate and Consistent Graph Model Generation from Text with Large Language Models1 Aug 2025
- 2025AlgoSimBench: Identifying Algorithmically Similar Problems for Competitive Programming21 Jul 2025
- 2025The Debugging Decay Index: Rethinking Debugging Strategies for Code LLMs23 Jun 2025
- 2025Towards Scalable Schema Mapping using Large Language Models30 May 2025
- 2025Invoke Interfaces Only When Needed: Adaptive Invocation for Large Language Models in Question Answering5 May 2025
- 2025Syntactic and Semantic Control of Large Language Models via Sequential Monte Carlo17 Apr 2025
- 2025Dynamic Cheatsheet: Test-Time Learning with Adaptive Memory10 Apr 2025
- 2025Fast Controlled Generation from Language Models with Adaptive Weighted Rejection Sampling7 Apr 2025
- 2025Uncertainty-Guided Chain-of-Thought for Code Generation with LLMs19 Mar 2025
- 2025SQL-o1: A Self-Reward Heuristic Dynamic Search Method for Text-to-SQL17 Feb 2025
- 2025CoCoEvo: Co-Evolution of Programs and Test Cases to Enhance Code Generation15 Feb 2025
- 2025Logical forms complement probability in understanding language model (and human) performance13 Feb 2025
- 2025LegalViz: Legal Text Visualization by Text To Diagram Generation10 Feb 2025
- 2025Reliable Text-to-SQL with Adaptive Abstention18 Jan 2025
- 2025CoT-based Synthesizer: Enhancing LLM Performance through Answer Synthesis3 Jan 2025
- 2024Planning-Driven Programming: A Large Language Model Programming Workflow21 Nov 2024
- 2024CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models7 Nov 2024
- 2024Self-Consistency Preference Optimization6 Nov 2024
- 2024What Makes Large Language Models Reason in (Multi-Turn) Code Generation?10 Oct 2024
- 2024Integrative Decoding: Improve Factuality via Implicit Self-consistency2 Oct 2024
- 2024Contextualized Data-Wrangling Code Generation in Computational Notebooks20 Sep 2024
- 2024B4: Towards Optimal Assessment of Plausible Code Solutions with Plausible Tests13 Sep 2024
- 2024Reranking Laws for Language Generation: A Communication-Theoretic Perspective11 Sep 2024
- 2024A Pair Programming Framework for Code Generation via Multi-Plan Exploration and Feedback-Driven Refinement8 Sep 2024
- 2024Logic Contrastive Reasoning with Lightweight Large Language Model for Math Word Problems29 Aug 2024
- 2024LRP4RAG: Detecting Hallucinations in Retrieval-Augmented Generation via Layer-wise Relevance Propagation28 Aug 2024
50 newest of 124 All 124 (JSON)
- 2023Teaching Large Language Models to Self-Debugcited by 988
- 2022Language Models are Multilingual Chain-of-Thought Reasonerscited by 530
- 2023Augmented Language Models: a Surveycited by 403
- 2023LEVER: Learning to Verify Language-to-Code Generation with Executioncited by 239
- 2023Universal Self-Consistency for Large Language Model Generationcited by 203
- 2024Self-Consistency Preference Optimizationcited by 50
- 2023Enhancing Large Language Models in Coding Through Multi-Perspective Self-Consistencycited by 46
- 2024CodeTree: Agent-guided Tree Search for Code Generation with Large Language Modelscited by 34
- 2025Uncertainty-Guided Chain-of-Thought for Code Generation with LLMscited by 32
- 2023CodeCoT: Tackling Code Syntax Errors in CoT Reasoning for Code Generationcited by 29
- 2024What Makes Large Language Models Reason in (Multi-Turn) Code Generation?cited by 29
- 2024Atomic Self-Consistency for Better Long Form Generationscited by 10
12 most cited of 24 All 24 (JSON)
- 2026Beyond the Verdict: Agentic Code Judging with Verifiable Feedback13 Oct 2026
- 2026Verification Trap: Understanding Test-Time Selection Failures under False Premises in Code Generation4 Oct 2026
- 2026Test-Time Scaling for CAD Generation via Verifier-Free Consensus Selection10 Aug 2026
- 2026Oracle Gap and Signal Fidelity: A Fixed-Pool Diagnostic for Test-Time Collaboration20 Jul 2026
- 2026Sketch-and-Verify: Structured Inference-Time Scaling via Program Sketching9 May 2026
- 2026MIST-RL: Mutation-based Incremental Suite Testing via Reinforcement Learning2 Mar 2026
- 2026CVeDRL: An Efficient Code Verifier via Difficulty-aware Reinforcement Learning30 Jan 2026
- 2025AlgoSimBench: Identifying Algorithmically Similar Problems for Competitive Programming21 Jul 2025
- 2025Uncertainty-Guided Chain-of-Thought for Code Generation with LLMs19 Mar 2025
- 2025CoT-based Synthesizer: Enhancing LLM Performance through Answer Synthesis3 Jan 2025
- 2024CodeTree: Agent-guided Tree Search for Code Generation with Large Language Models7 Nov 2024
- 2024Self-Consistency Preference Optimization6 Nov 2024
12 newest of 24 All 24 (JSON)
- 2023Large Language Models Can Be Easily Distracted by Irrelevant Contextcited by 841
- 2023Siren's Song in the AI Ocean: A Survey on Hallucination in Large Language Modelscited by 698
- 2024BigCodeBench: Benchmarking Code Generation with Diverse Function Calls and Complex Instructionscited by 546
- 2022DS-1000: A Natural and Reliable Benchmark for Data Science Code Generationcited by 452
- 2022CodeT: Code Generation with Generated Testscited by 384
- 2024INSIDE: LLMs' Internal States Retain the Power of Hallucination Detectioncited by 323
- 2024CRUXEval: A Benchmark for Code Reasoning, Understanding and Executioncited by 300
- 2023FacTool: Factuality Detection in Generative AI -- A Tool Augmented Framework for Multi-Task and Multi-Domain Scenarioscited by 251
- 2024When Can LLMs Actually Correct Their Own Mistakes? A Critical Survey of Self-Correction of LLMscited by 240
- 2023InterCode: Standardizing and Benchmarking Interactive Coding with Execution Feedbackcited by 238
- 2022Binding Language Models in Symbolic Languagescited by 228
- 2023Is Self-Repair a Silver Bullet for Code Generation?cited by 197
12 most cited of 91 All 91 (JSON)
- 2026Entropy-Regularized Rank-Masked Policy Optimization for Test-Time Reinforcement Learning in Code Generation8 Sep 2026
- 2026Selection Without Signal, Recovery Through Expression: A Measurement Study of Post-Hoc Falsification Operators for Frozen Small Code Models15 Jun 2026
- 2026Semantic Voting: Execution-Grounded Consensus for LLM Code Generation9 May 2026
- 2026Majority Voting for Code Generation17 Apr 2026
- 2026ACES: Who Tests the Tests? Leave-One-Out AUC Consistency for Code Generation5 Apr 2026
- 2026Executing as You Generate: Hiding Execution Latency in LLM Code Interpreters1 Apr 2026
- 2026ReflexiCoder: Teaching Large Language Models to Self-Reflect on Generated Code and Self-Correct It via Reinforcement Learning6 Mar 2026
- 2026Beyond Static Pipelines: Learning Dynamic Workflows for Text-to-SQL17 Feb 2026
- 2026A Theoretical Analysis of Test-Driven Code Generation5 Feb 2026
- 2026Aletheia: What Makes RLVR For Code Verifiers Tick?17 Jan 2026
- 2025ExPairT-LLM: Exact Learning for LLM Code Selection by Pairwise Queries13 Nov 2025
- 2025AI-Driven Self-Evolving Software: A Promising Path Toward Software Automation1 Oct 2025
12 newest of 91 All 91 (JSON)