RobustFill: Neural Program Learning under Noisy I/O
Not on the map. Why?
Abstract (arXiv)
The problem of automatically generating a computer program from some specification has been studied since the early days of AI. Recently, two competing approaches for automatic program learning have received significant attention: (1) neural program synthesis, where a neural network is conditioned on input/output (I/O) examples and learns to generate a program, and (2) neural program induction, where a neural network generates new outputs directly using a latent program representation. Here, for the first time, we directly compare both approaches on a large-scale, real-world learning task. We additionally contrast to rule-based program synthesis, which uses hand-crafted semantics to guide the program generation. Our neural models use a modified attention RNN to allow encoding of variable-sized sets of I/O pairs. Our best synthesis model achieves 92% accuracy on a real-world test set, compared to the 34% accuracy of the previous best neural synthesis approach. The synthesis model also outperforms a comparable induction model on this task, but we more importantly demonstrate that the strength of each approach is highly dependent on the evaluation metric and end-user application. Finally, we show that we can train our neural models to remain very robust to the type of noise expected in real-world data (e.g., typos), while a highly-engineered rule-based system fails entirely.
Key facts. Cited by 124 papers in the map (data through 7 Oct 2026). First posted on arXiv 21 Mar 2017.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2019: 1; 2020: 0; 2021: 24; 2022: 25; 2023: 32; 2024: 22; 2025: 13; 2026: 7.
124 papers.
Sort:
By area:
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2022Competition-Level Code Generation with AlphaCodecited by 1,427
- 2023Gorilla: Large Language Model Connected with Massive APIscited by 1,302
- 2023Teaching Large Language Models to Self-Debugcited by 963
- 2021Show Your Work: Scratchpads for Intermediate Computation with Language Modelscited by 871
- 2022CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learningcited by 342
- 2022UnifiedSKG: Unifying and Multi-Tasking Structured Knowledge Grounding with Text-to-Text Language Modelscited by 231
- 2023Hypothesis Search: Inductive Reasoning with Language Modelscited by 119
- 2024LLM-SR: Scientific Equation Discovery via Programming with Large Language Modelscited by 117
- 2023Learning Performance-Improving Code Editscited by 103
- 2021RnG-KBQA: Generation Augmented Iterative Ranking for Knowledge Base Question Answeringcited by 86
38 more
- 2021Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoningcited by 85
- 2024Symbolic Regression with a Learned Concept Librarycited by 76
- 2021Learning to Synthesize Programs as Interpretable and Generalizable Policiescited by 59
- 2023CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modulescited by 58
- 2024Combining Induction and Transduction for Abstract Reasoningcited by 53
- 2023LILO: Learning Interpretable Libraries by Compressing and Documenting Codecited by 46
- 2021Leveraging Language to Learn Program Abstractions and Search Heuristicscited by 44
- 2021SpreadsheetCoder: Formula Prediction from Semi-structured Contextcited by 41
- 2023CodeScope: An Execution-based Multilingual Multitask Multidimensional Benchmark for Evaluating LLMs on Code Understanding and Generationcited by 39
- 2021Communicating Natural Programs to Humans and Machinescited by 35
- 2021Latent Execution for Neural Program Synthesiscited by 35
- 2023Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generationcited by 27
- 2024Is Programming by Example solved by LLMs?cited by 27
- 2025AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunitiescited by 26
- 2021Neural-guided, Bidirectional Program Search for Abstraction and Reasoningcited by 23
- 2024CodeIt: Self-Improving Language Models with Prioritized Hindsight Replaycited by 23
- 2023Deep Learning for Code Intelligence: Survey, Benchmark and Toolkitcited by 22
- 2023Human-like Few-Shot Learning via Bayesian Reasoning over Natural Languagecited by 21
- 2024LLMs for Relational Reasoning: How Far are We?cited by 21
- 2025TikZero: Zero-Shot Text-Guided Graphics Program Synthesiscited by 21
- 2023Hierarchical Programmatic Reinforcement Learning via Learning to Compose Programscited by 20
- 2023Exploring and Characterizing Large Language Models For Embedded System Development and Debuggingcited by 20
- 2021PyGlove: Symbolic Programming for Automated Machine Learningcited by 19
- 2021ProTo: Program-Guided Transformer for Program-Guided Taskscited by 19
- 2022CrossBeam: Learning to Search in Bottom-Up Program Synthesiscited by 18
- 2022Less is More: Summary of Long Instructions is Better for Program Synthesiscited by 17
- 2023ExeDec: Execution Decomposition for Compositional Generalization in Neural Program Synthesiscited by 17
- 2022GALOIS: Boosting Deep Reinforcement Learning via Generalizable Logic Synthesiscited by 16
- 2022Uni-Parser: Unified Semantic Parser for Question Answering on Knowledge Base and Databasecited by 16
- 2024HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesiscited by 14
- 2021Neural Program Generation Modulo Static Analysiscited by 13
- 2022From Perception to Programs: Regularize, Overparameterize, and Amortizecited by 13
- 2023Neural Task Synthesis for Visual Programmingcited by 13
- 2024Case2Code: Scalable Synthetic Data for Code Generationcited by 13
- 2025MMTU: A Massive Multi-Task Table Understanding and Reasoning Benchmarkcited by 13
- 2022Neurosymbolic Repair for Low-Code Formula Languagescited by 12
- 2022Neural-Symbolic Recursive Machine for Systematic Generalizationcited by 12
- 2024Towards Efficient Neurally-Guided Program Induction for ARC-AGIcited by 11
50 most cited of 124 All 124 (JSON)
- 2026Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer4 Aug 2026
- 2026SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch29 Jul 2026
- 2026Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery1 Jul 2026
- 2026eMoT: evolving Memory-of-Thought via Symbolic Anchoring and Memory Corrosion1 Jun 2026
- 2026Distribution-Aware Algorithm Design with LLM Agents13 May 2026
- 2026ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis6 May 2026
- 2026Why Search When You Can Transfer? Amortized Agentic Workflow Design from Structural Priors27 Apr 2026
- 2025ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus31 Oct 2025
- 2025MultiMat: Multimodal Program Synthesis for Procedural Materials using Large Multimodal Models26 Sep 2025
- 2025Program Synthesis via Test-Time Transduction22 Sep 2025
- 2025Analysis of Error Sources in LLM-based Hypothesis Search for Few-Shot Rule Induction31 Aug 2025
- 2025Finite Automata Extraction: Low-data World Model Learning as Programs from Gameplay Video15 Aug 2025
38 more
- 2025AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities15 Aug 2025
- 2025MMTU: A Massive Multi-Task Table Understanding and Reasoning Benchmark5 Jun 2025
- 2025CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking4 Jun 2025
- 2025PBEBench: A Multi-Step Programming by Examples Reasoning Benchmark inspired by Historical Linguistics29 May 2025
- 2025Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms20 May 2025
- 2025TikZero: Zero-Shot Text-Guided Graphics Program Synthesis14 Mar 2025
- 2025Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model11 Mar 2025
- 2025AlgoPilot: Fully Autonomous Program Synthesis Without Human-Written Programs11 Jan 2025
- 2024GenX: Mastering Code and Test Generation with Execution Feedback18 Dec 2024
- 2024EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems12 Dec 2024
- 2024Towards Efficient Neurally-Guided Program Induction for ARC-AGI13 Nov 2024
- 2024Combining Induction and Transduction for Abstract Reasoning4 Nov 2024
- 2024Symbolic Regression with a Learned Concept Library14 Sep 2024
- 2024Relational decomposition for program synthesis22 Aug 2024
- 2024Case2Code: Scalable Synthetic Data for Code Generation17 Jul 2024
- 2024Learning Program Behavioral Models from Synthesized Input-Output Pairs11 Jul 2024
- 2024Algorithmic Language Models with Neurally Compiled Libraries6 Jul 2024
- 2024A Comparative Study of DSL Code Generation: Fine-Tuning vs. Optimized Retrieval Augmentation3 Jul 2024
- 2024INDICT: Code Generation with Internal Dialogues of Critiques for Both Security and Helpfulness23 Jun 2024
- 2024Is Programming by Example solved by LLMs?12 Jun 2024
- 2024A Synergistic Approach In Network Intrusion Detection By Neurosymbolic AI3 Jun 2024
- 2024Diffusion On Syntax Trees For Program Synthesis30 May 2024
- 2024HYSYNTH: Context-Free LLM Approximation for Guiding Program Synthesis24 May 2024
- 2024LLM-SR: Scientific Equation Discovery via Programming with Large Language Models29 Apr 2024
- 2024Grounding Data Science Code Generation with Input-Output Specifications12 Feb 2024
- 2024Guided Sketch-Based Program Induction by Search Gradients10 Feb 2024
- 2024CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay7 Feb 2024
- 2024Neural Slot Interpreters: Grounding Object Semantics in Emergent Slot Representations2 Feb 2024
- 2024Learning big logical rules by joining small rules29 Jan 2024
- 2024LLMs for Relational Reasoning: How Far are We?17 Jan 2024
- 2023Deep Learning for Code Intelligence: Survey, Benchmark and Toolkit30 Dec 2023
- 2023Program Machine Policy: Addressing Long-Horizon Tasks by Integrating Program Synthesis and State Machines27 Nov 2023
- 2023Imagine the Unseen World: A Benchmark for Systematic Generalization in Visual World Models15 Nov 2023
- 2023CodeScope: An Execution-based Multilingual Multitask Multidimensional Benchmark for Evaluating LLMs on Code Understanding and Generation14 Nov 2023
- 2023Generating Pragmatic Examples to Train Neural Program Synthesizers9 Nov 2023
- 2023LILO: Learning Interpretable Libraries by Compressing and Documenting Code30 Oct 2023
- 2023FormaT5: Abstention and Examples for Conditional Table Formatting with Natural Language26 Oct 2023
- 2023CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modules13 Oct 2023
50 newest of 124 All 124 (JSON)
- 2022Competition-Level Code Generation with AlphaCodecited by 1,427
- 2023Gorilla: Large Language Model Connected with Massive APIscited by 1,302
- 2023Teaching Large Language Models to Self-Debugcited by 963
- 2021Show Your Work: Scratchpads for Intermediate Computation with Language Modelscited by 871
- 2023Hypothesis Search: Inductive Reasoning with Language Modelscited by 119
- 2024Combining Induction and Transduction for Abstract Reasoningcited by 53
- 2024CodeIt: Self-Improving Language Models with Prioritized Hindsight Replaycited by 23
- 2023Human-like Few-Shot Learning via Bayesian Reasoning over Natural Languagecited by 21
- 2024LLMs for Relational Reasoning: How Far are We?cited by 21
- 2025MMTU: A Massive Multi-Task Table Understanding and Reasoning Benchmarkcited by 13
- 2025PBEBench: A Multi-Step Programming by Examples Reasoning Benchmark inspired by Historical Linguisticscited by 2
- 2026ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesiscited by 1
12 most cited of 13 All 13 (JSON)
- 2026eMoT: evolving Memory-of-Thought via Symbolic Anchoring and Memory Corrosion1 Jun 2026
- 2026ReaComp: Compiling LLM Reasoning into Symbolic Solvers for Efficient Program Synthesis6 May 2026
- 2025MMTU: A Massive Multi-Task Table Understanding and Reasoning Benchmark5 Jun 2025
- 2025PBEBench: A Multi-Step Programming by Examples Reasoning Benchmark inspired by Historical Linguistics29 May 2025
- 2024Combining Induction and Transduction for Abstract Reasoning4 Nov 2024
- 2024CodeIt: Self-Improving Language Models with Prioritized Hindsight Replay7 Feb 2024
- 2024LLMs for Relational Reasoning: How Far are We?17 Jan 2024
- 2023Hypothesis Search: Inductive Reasoning with Language Models11 Sep 2023
- 2023Human-like Few-Shot Learning via Bayesian Reasoning over Natural Language5 Jun 2023
- 2023Gorilla: Large Language Model Connected with Massive APIs24 May 2023
- 2023Teaching Large Language Models to Self-Debug11 Apr 2023
- 2022Competition-Level Code Generation with AlphaCode8 Feb 2022
12 newest of 13 All 13 (JSON)
- 2025AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunitiescited by 26
- 2026Why Search When You Can Transfer? Amortized Agentic Workflow Design from Structural Priorscited by 6
- 2026Distribution-Aware Algorithm Design with LLM Agentscited by 0
- 2026SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratchcited by 0
- 2026SpecFirst: Behavioral Specification Elicitation as a First-Class Step in Agent-Based Program Synthesis from Scratch29 Jul 2026
- 2026Distribution-Aware Algorithm Design with LLM Agents13 May 2026
- 2026Why Search When You Can Transfer? Amortized Agentic Workflow Design from Structural Priors27 Apr 2026
- 2025AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities15 Aug 2025
- 2024Diffusion On Syntax Trees For Program Synthesiscited by 10
- 2024Diffusion On Syntax Trees For Program Synthesis30 May 2024
- 2024Case2Code: Scalable Synthetic Data for Code Generationcited by 13
- 2024Case2Code: Scalable Synthetic Data for Code Generation17 Jul 2024
- 2021Evaluating Large Language Models Trained on Codecited by 8,053
- 2021Program Synthesis with Large Language Modelscited by 3,509
- 2022CodeRL: Mastering Code Generation through Pretrained Models and Deep Reinforcement Learningcited by 342
- 2022UnifiedSKG: Unifying and Multi-Tasking Structured Knowledge Grounding with Text-to-Text Language Modelscited by 231
- 2024LLM-SR: Scientific Equation Discovery via Programming with Large Language Modelscited by 117
- 2023Learning Performance-Improving Code Editscited by 103
- 2021RnG-KBQA: Generation Augmented Iterative Ranking for Knowledge Base Question Answeringcited by 86
- 2021Improving Coherence and Consistency in Neural Sequence Models with Dual-System, Neuro-Symbolic Reasoningcited by 85
- 2024Symbolic Regression with a Learned Concept Librarycited by 76
- 2021Learning to Synthesize Programs as Interpretable and Generalizable Policiescited by 59
- 2023CodeChain: Towards Modular Code Generation Through Chain of Self-revisions with Representative Sub-modulescited by 58
- 2023LILO: Learning Interpretable Libraries by Compressing and Documenting Codecited by 46
12 most cited of 100 All 100 (JSON)
- 2026Solver-Aware Decompositions for Programming-by-Example: When Dividing Requires Knowing how to Conquer4 Aug 2026
- 2026Fixed-Set Robustness in Programming by Example: Example Corruption and Semantic Partition Recovery1 Jul 2026
- 2025ARC-GEN: A Mimetic Procedural Benchmark Generator for the Abstraction and Reasoning Corpus31 Oct 2025
- 2025Program Synthesis via Test-Time Transduction22 Sep 2025
- 2025Analysis of Error Sources in LLM-based Hypothesis Search for Few-Shot Rule Induction31 Aug 2025
- 2025CETBench: A Novel Dataset constructed via Transformations over Programs for Benchmarking LLMs for Code-Equivalence Checking4 Jun 2025
- 2025Beyond Either-Or Reasoning: Transduction and Induction as Cooperative Problem-Solving Paradigms20 May 2025
- 2025TikZero: Zero-Shot Text-Guided Graphics Program Synthesis14 Mar 2025
- 2025Shedding Light in Task Decomposition in Program Synthesis: The Driving Force of the Synthesizer Model11 Mar 2025
- 2025AlgoPilot: Fully Autonomous Program Synthesis Without Human-Written Programs11 Jan 2025
- 2024GenX: Mastering Code and Test Generation with Execution Feedback18 Dec 2024
- 2024EmbedGenius: Towards Automated Software Development for Generic Embedded IoT Systems12 Dec 2024
12 newest of 100 All 100 (JSON)