Leveraging Language to Learn Program Abstractions and Search Heuristics
Not on the map. Why?
Abstract (arXiv)
Inductive program synthesis, or inferring programs from examples of desired behavior, offers a general paradigm for building interpretable, robust, and generalizable machine learning systems. Effective program synthesis depends on two key ingredients: a strong library of functions from which to build programs, and an efficient search strategy for finding programs that solve a given task. We introduce LAPS (Language for Abstraction and Program Search), a technique for using natural language annotations to guide joint learning of libraries and neurally-guided search models for synthesis. When integrated into a state-of-the-art library learning system (DreamCoder), LAPS produces higher-quality libraries and improves search efficiency and generalization on three domains -- string editing, image composition, and abstract reasoning about scenes -- even when no natural language hints are available at test time.
Key facts. Cited by 44 papers in the map (data through 7 Oct 2026). Builds on 35 of its 80 references that are in the map. First posted on arXiv 18 Jun 2021.
Builds on
35 of 80 references.
References · 35
- 2014Neural Machine Translation by Jointly Learning to Align and Translatecited by 4,530
- 2014Learning Phrase Representations using RNN Encoder-Decoder for Statistical Machine Translationcited by 4,016
- 2016CLEVR: A Diagnostic Dataset for Compositional Language and Elementary Visual Reasoningcited by 1,445
- 2019The Neuro-Symbolic Concept Learner: Interpreting Scenes, Words, and Sentences From Natural Supervisioncited by 369
- 2018Neural-Symbolic VQA: Disentangling Reasoning from Vision and Language Understandingcited by 304
- 2020DreamCoder: Growing generalizable, interpretable knowledge with wake-sleep Bayesian program learningcited by 159
- 2019A Survey of Reinforcement Learning Informed by Natural Languagecited by 154
- 2016DeepCoder: Learning to Write Programscited by 145
- 2017Inferring and Executing Programs for Visual Reasoningcited by 130
- 2017RobustFill: Neural Program Learning under Noisy I/Ocited by 124
- 2016Data Recombination for Neural Semantic Parsingcited by 111
- 2017Building machines that adapt and compute like brainscited by 99
23 more
- 2018Tree-to-tree Neural Networks for Program Translationcited by 93
- 2019Write, Execute, Assess: Program Synthesis with a REPLcited by 92
- 2016Neuro-Symbolic Program Synthesiscited by 84
- 2019Compound Probabilistic Context-Free Grammars for Grammar Inductioncited by 76
- 2017Learning with Latent Languagecited by 75
- 2017Learning to Infer Graphics Programs from Hand-Drawn Imagescited by 73
- 2018Synthesizing Programs for Images using Reinforced Adversarial Learningcited by 72
- 2018Learning Neural Templates for Text Generationcited by 61
- 2019Human few-shot learning of compositional instructionscited by 47
- 2019Learning to Infer Program Sketchescited by 44
- 2015Program Synthesis using Natural Languagecited by 41
- 2020ALICE: Active Learning with Contrastive Natural Language Explanationscited by 36
- 2019Program Synthesis and Semantic Parsing with Learned Code Idiomscited by 34
- 2019Few-Shot Bayesian Imitation Learning with Logical Program Policiescited by 30
- 2020PixL2R: Guiding Reinforcement Learning Using Natural Language by Mapping Pixels to Rewardscited by 30
- 2019Shaping Visual Representations with Language for Few-shot Classificationcited by 27
- 2018Neural Program Synthesis with Priority Queue Trainingcited by 24
- 2020Learning abstract structure for drawing by efficient motor program inductioncited by 23
- 2016Learning Executable Semantic Parsers for Natural Language Understandingcited by 21
- 2018Beyond imitation: Zero-shot task transfer on robots by learning concepts as cognitive programscited by 21
- 2020Optimal Neural Program Synthesis from Multimodal Specificationscited by 15
- 2017Macro Grammars and Holistic Triggering for Efficient Semantic Parsingcited by 10
- 2020Benchmarking Multimodal Regex Synthesis with Complex Structurescited by 10
Built on by
Citing papers per year: 2021: 4; 2022: 14; 2023: 8; 2024: 10; 2025: 3; 2026: 5.
44 papers.
Sort:
By area:
- 2022Large Language Models Are Human-Level Prompt Engineerscited by 1,020
- 2021Skill Induction and Planning with Latent Languagecited by 99
- 2024Symbolic Regression with a Learned Concept Librarycited by 76
- 2024TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Taskscited by 70
- 2021Learning to Synthesize Programs as Interpretable and Generalizable Policiescited by 59
- 2022Top-Down Synthesis for Library Learningcited by 57
- 2022Structured, flexible, and robust: benchmarking and improving large language models towards more human-like behavior in out-of-distribution reasoning taskscited by 56
- 2024What Are Tools Anyway? A Survey from the Language Model Perspectivecited by 53
- 2023LILO: Learning Interpretable Libraries by Compressing and Documenting Codecited by 46
- 2023Learning adaptive planning representations with natural language guidancecited by 36
- 2021Program Transfer for Answering Complex Questions over Knowledge Basescited by 34
- 2024ReGAL: Refactoring Programs to Discover Generalizable Abstractionscited by 32
32 more
- 2024Is Programming by Example solved by LLMs?cited by 27
- 2022How to talk so AI will learn: Instructions, descriptions, and autonomycited by 22
- 2023Human-like Few-Shot Learning via Bayesian Reasoning over Natural Languagecited by 21
- 2022Using Natural Language and Program Abstractions to Instill Human Inductive Biases in Machinescited by 20
- 2022Language and Culture Internalisation for Human-Like Autotelic AIcited by 14
- 2023ANPL: Towards Natural Programming with Interactive Decompositioncited by 13
- 2024Loose LIPS Sink Ships: Asking Questions in Battleship with Language-Informed Program Samplingcited by 12
- 2022Identifying concept libraries from language about object structurecited by 8
- 2022Neurosymbolic Programming for Sciencecited by 7
- 2021Using Program Synthesis and Inductive Logic Programming to solve Bongard Problemscited by 6
- 2022LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractionscited by 5
- 2023Generating Language Corrections for Teaching Physical Control Taskscited by 4
- 2024Policy Learning with a Language Bottleneckcited by 4
- 2024TurtleBench: A Visual Programming Benchmark in Turtle Geometrycited by 4
- 2025Refactoring Codebases through Library Designcited by 4
- 2026Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agentscited by 4
- 2022lilGym: Natural Language Visual Reasoning with Reinforcement Learningcited by 3
- 2022SemSup: Semantic Supervision for Simple and Scalable Zero-shot Generalizationcited by 2
- 2023Bayesian Program Learning by Decompiling Amortized Knowledgecited by 2
- 2023VisKoP: Visual Knowledge oriented Programming for Interactive Knowledge Base Question Answeringcited by 2
- 2024Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spacescited by 2
- 2025Self-Evolving Visual Concept Library using Vision-Language Criticscited by 2
- 2022ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specificationscited by 1
- 2023Learning a Hierarchical Planner from Humans in Multiple Generationscited by 1
- 2025Language and Experience: A Computational Model of Social Learning in Complex Taskscited by 1
- 2022Language-Based Causal Representation Learningcited by 0
- 2022Programming by Example and Text-to-Code Translation for Conversational Code Generationcited by 0
- 2024MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesiscited by 0
- 2026Cascaded Transfer: Learning Many Tasks under Budget Constraintscited by 0
- 2026Think Through a Bottleneck: Hourglass Reasoning for Rigorous Inductioncited by 0
- 2026SkillComposer: Learning Reusable Skills for Natural-Language Robot Programmingcited by 0
- 2026MatLoom: Layered Text-to-Material Generation in a Compact Program Spacecited by 0
- 2026MatLoom: Layered Text-to-Material Generation in a Compact Program Space30 Sep 2026
- 2026SkillComposer: Learning Reusable Skills for Natural-Language Robot Programming14 Aug 2026
- 2026Think Through a Bottleneck: Hourglass Reasoning for Rigorous Induction13 Jul 2026
- 2026Skill-as-Pseudocode: Refactoring Skill Libraries to Pseudocode for LLM Agents27 May 2026
- 2026Cascaded Transfer: Learning Many Tasks under Budget Constraints29 Jan 2026
- 2025Language and Experience: A Computational Model of Social Learning in Complex Tasks26 Aug 2025
- 2025Refactoring Codebases through Library Design26 May 2025
- 2025Self-Evolving Visual Concept Library using Vision-Language Critics31 Mar 2025
- 2024TurtleBench: A Visual Programming Benchmark in Turtle Geometry31 Oct 2024
- 2024Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces16 Oct 2024
- 2024MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis26 Sep 2024
- 2024Symbolic Regression with a Learned Concept Library14 Sep 2024
32 more
- 2024Is Programming by Example solved by LLMs?12 Jun 2024
- 2024Policy Learning with a Language Bottleneck7 May 2024
- 2024What Are Tools Anyway? A Survey from the Language Model Perspective18 Mar 2024
- 2024Loose LIPS Sink Ships: Asking Questions in Battleship with Language-Informed Program Sampling29 Feb 2024
- 2024ReGAL: Refactoring Programs to Discover Generalizable Abstractions29 Jan 2024
- 2024TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Tasks23 Jan 2024
- 2023Learning adaptive planning representations with natural language guidance13 Dec 2023
- 2023LILO: Learning Interpretable Libraries by Compressing and Documenting Code30 Oct 2023
- 2023Learning a Hierarchical Planner from Humans in Multiple Generations17 Oct 2023
- 2023VisKoP: Visual Knowledge oriented Programming for Interactive Knowledge Base Question Answering6 Jul 2023
- 2023Bayesian Program Learning by Decompiling Amortized Knowledge13 Jun 2023
- 2023Generating Language Corrections for Teaching Physical Control Tasks12 Jun 2023
- 2023Human-like Few-Shot Learning via Bayesian Reasoning over Natural Language5 Jun 2023
- 2023ANPL: Towards Natural Programming with Interactive Decomposition29 May 2023
- 2022Top-Down Synthesis for Library Learning29 Nov 2022
- 2022Programming by Example and Text-to-Code Translation for Conversational Code Generation21 Nov 2022
- 2022LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions16 Nov 2022
- 2022lilGym: Natural Language Visual Reasoning with Reinforcement Learning3 Nov 2022
- 2022Large Language Models Are Human-Level Prompt Engineers3 Nov 2022
- 2022ObSynth: An Interactive Synthesis System for Generating Object Models from Natural Language Specifications20 Oct 2022
- 2022Neurosymbolic Programming for Science10 Oct 2022
- 2022Language-Based Causal Representation Learning12 Jul 2022
- 2022How to talk so AI will learn: Instructions, descriptions, and autonomy16 Jun 2022
- 2022Language and Culture Internalisation for Human-Like Autotelic AI2 Jun 2022
- 2022Using Natural Language and Program Abstractions to Instill Human Inductive Biases in Machines23 May 2022
- 2022Structured, flexible, and robust: benchmarking and improving large language models towards more human-like behavior in out-of-distribution reasoning tasks11 May 2022
- 2022Identifying concept libraries from language about object structure11 May 2022
- 2022SemSup: Semantic Supervision for Simple and Scalable Zero-shot Generalization26 Feb 2022
- 2021Using Program Synthesis and Inductive Logic Programming to solve Bongard Problems19 Oct 2021
- 2021Program Transfer for Answering Complex Questions over Knowledge Bases12 Oct 2021
- 2021Skill Induction and Planning with Latent Language4 Oct 2021
- 2021Learning to Synthesize Programs as Interpretable and Generalizable Policies31 Aug 2021
- 2022Structured, flexible, and robust: benchmarking and improving large language models towards more human-like behavior in out-of-distribution reasoning taskscited by 56
- 2023Human-like Few-Shot Learning via Bayesian Reasoning over Natural Languagecited by 21
- 2022LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractionscited by 5
- 2022lilGym: Natural Language Visual Reasoning with Reinforcement Learningcited by 3
- 2026Think Through a Bottleneck: Hourglass Reasoning for Rigorous Inductioncited by 0
- 2026Think Through a Bottleneck: Hourglass Reasoning for Rigorous Induction13 Jul 2026
- 2023Human-like Few-Shot Learning via Bayesian Reasoning over Natural Language5 Jun 2023
- 2022LEMMA: Bootstrapping High-Level Mathematical Reasoning with Learned Symbolic Abstractions16 Nov 2022
- 2022lilGym: Natural Language Visual Reasoning with Reinforcement Learning3 Nov 2022
- 2022Structured, flexible, and robust: benchmarking and improving large language models towards more human-like behavior in out-of-distribution reasoning tasks11 May 2022
- 2022Large Language Models Are Human-Level Prompt Engineerscited by 1,020
- 2021Skill Induction and Planning with Latent Languagecited by 99
- 2024Symbolic Regression with a Learned Concept Librarycited by 76
- 2024TroVE: Inducing Verifiable and Efficient Toolboxes for Solving Programmatic Taskscited by 70
- 2021Learning to Synthesize Programs as Interpretable and Generalizable Policiescited by 59
- 2022Top-Down Synthesis for Library Learningcited by 57
- 2024What Are Tools Anyway? A Survey from the Language Model Perspectivecited by 53
- 2023LILO: Learning Interpretable Libraries by Compressing and Documenting Codecited by 46
- 2023Learning adaptive planning representations with natural language guidancecited by 36
- 2021Program Transfer for Answering Complex Questions over Knowledge Basescited by 34
- 2024ReGAL: Refactoring Programs to Discover Generalizable Abstractionscited by 32
- 2024Is Programming by Example solved by LLMs?cited by 27
12 most cited of 37 All 37 (JSON)
- 2026MatLoom: Layered Text-to-Material Generation in a Compact Program Space30 Sep 2026
- 2026SkillComposer: Learning Reusable Skills for Natural-Language Robot Programming14 Aug 2026
- 2026Cascaded Transfer: Learning Many Tasks under Budget Constraints29 Jan 2026
- 2025Language and Experience: A Computational Model of Social Learning in Complex Tasks26 Aug 2025
- 2025Refactoring Codebases through Library Design26 May 2025
- 2024TurtleBench: A Visual Programming Benchmark in Turtle Geometry31 Oct 2024
- 2024Reclaiming the Source of Programmatic Policies: Programmatic versus Latent Spaces16 Oct 2024
- 2024MathDSL: A Domain-Specific Language for Concise Mathematical Solutions Via Program Synthesis26 Sep 2024
- 2024Symbolic Regression with a Learned Concept Library14 Sep 2024
- 2024Is Programming by Example solved by LLMs?12 Jun 2024
- 2024Policy Learning with a Language Bottleneck7 May 2024
- 2024What Are Tools Anyway? A Survey from the Language Model Perspective18 Mar 2024
12 newest of 37 All 37 (JSON)