Jigsaw: Large Language Models meet Program Synthesis
Not on the map. Why?
Abstract (arXiv)
Large pre-trained language models such as GPT-3, Codex, and Google's language model are now capable of generating code from natural language specifications of programmer intent. We view these developments with a mixture of optimism and caution. On the optimistic side, such large language models have the potential to improve productivity by providing an automated AI pair programmer for every programmer in the world. On the cautionary side, since these large language models do not understand program semantics, they offer no guarantees about quality of the suggested code. In this paper, we present an approach to augment these large language models with post-processing steps based on program analysis and synthesis techniques, that understand the syntax and semantics of programs. Further, we show that such techniques can make use of user feedback and improve with usage. We present our experiences from building and evaluating such a tool jigsaw, targeted at synthesizing code for using Python Pandas API using multi-modal inputs. Our experience suggests that as these large language models evolve for synthesizing code from intent, jigsaw has an important role to play in improving the accuracy of the systems.
Key facts. Cited by 103 papers in the map (data through 14 Oct 2026). First posted on arXiv 6 Dec 2021.
Builds on
No reference list yet.
Built on by
Citing papers per year: 2022: 11; 2023: 36; 2024: 30; 2025: 20; 2026: 6.
103 papers.
Sort:
By area:
- 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 2,004
- 2023Gorilla: Large Language Model Connected with Massive APIscited by 1,332
- 2022Large Language Models Are Human-Level Prompt Engineerscited by 1,045
- 2023Large Language Models for Software Engineering: A Systematic Literature Reviewcited by 399
- 2024CRUXEval: A Benchmark for Code Reasoning, Understanding and Executioncited by 300
- 2023Self-Taught Optimizer (STOP): Recursively Self-Improving Code Generationcited by 148
- 2023Domain Specialization as the Key to Make Large Language Models Disruptive: A Comprehensive Surveycited by 135
- 2023Hypothesis Search: Inductive Reasoning with Language Modelscited by 120
- 2023Learning Performance-Improving Code Editscited by 106
- 2023SatLM: Satisfiability-Aided Language Models Using Declarative Promptingcited by 102
- 2022Natural Language to Code Generation in Interactive Data Science Notebookscited by 87
- 2024From LLMs to LLM-based Agents for Software Engineering: A Survey of Current, Challenges and Futurecited by 86
38 more
- 2023Is ChatGPT the Ultimate Programming Assistant -- How far is it?cited by 76
- 2024EffiBench: Benchmarking the Efficiency of Automatically Generated Codecited by 64
- 2022Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environmentscited by 57
- 2023Generative Pre-trained Transformer: A Comprehensive Review on Enabling Technologies, Potential Applications, Emerging Challenges, and Future Directionscited by 55
- 2022When Language Model Meets Private Librarycited by 54
- 2023Bias Testing and Mitigation in LLM-based Code Generationcited by 53
- 2022Interactive Code Generation via Test-Driven User-Intent Formalizationcited by 50
- 2023Large Language Models and Simple, Stupid Bugscited by 45
- 2023A New Era in Software Security: Towards Self-Healing Software via Large Language Models and Formal Verificationcited by 42
- 2022Code Generation Tools (Almost) for Free? A Study of Few-Shot, Pre-Trained Language Models on Codecited by 39
- 2023LLMR: Real-time Prompting of Interactive Worlds using Large Language Modelscited by 39
- 2023Recommending Root-Cause and Mitigation Steps for Cloud Incidents using Large Language Modelscited by 38
- 2024Prompting Techniques for Secure Code Generation: A Systematic Investigationcited by 34
- 2024CodeJudge-Eval: Can Large Language Models be Good Judges in Code Understanding?cited by 30
- 2023Exploring Parameter-Efficient Fine-Tuning Techniques for Code Generation with Large Language Modelscited by 28
- 2024Automated Root Causing of Cloud Incidents using In-Context Learning with GPT-4cited by 28
- 2025AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunitiescited by 28
- 2023LLM-Assisted Code Cleaning For Training Accurate Code Generatorscited by 27
- 2024MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generationcited by 26
- 2023AceCoder: Utilizing Existing Code to Enhance Code Generationcited by 25
- 2024Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Taskscited by 25
- 2025GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agentscited by 25
- 2025GitTaskBench: A Benchmark for Code Agents Solving Real-World Tasks Through Code Repository Leveragingcited by 25
- 2023BOLT: Fast Energy-based Controlled Text Generation with Tunable Biasescited by 24
- 2024How secure is AI-generated Code: A Large-Scale Comparison of Large Language Modelscited by 24
- 2022Towards a Mathematics Formalisation Assistant using Large Language Modelscited by 22
- 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
- 2024Turn-taking and Backchannel Prediction with Acoustic and Large Language Model Fusioncited by 20
- 2024X-lifecycle Learning for Cloud Incident Management using LLMscited by 19
- 2023Augmenting Greybox Fuzzing with Generative AIcited by 18
- 2024SymbolicAI: A framework for logic-based approaches combining generative models and solverscited by 16
- 2024Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysiscited by 16
- 2023InstructExcel: A Benchmark for Natural Language Instruction in Excelcited by 15
- 2022Large Language Models are Pretty Good Zero-Shot Video Game Bug Detectorscited by 14
- 2023From Copilot to Pilot: Towards AI Supported Software Developmentcited by 14
- 2023From Words to Code: Harnessing Data for Program Synthesis from Natural Languagecited by 11
- 2024A Comparative Study of DSL Code Generation: Fine-Tuning vs. Optimized Retrieval Augmentationcited by 10
50 most cited of 103 All 103 (JSON)
- 2026ISA-Bench: A Benchmark for Computational Reasoning Across Instruction Set Architectures19 Sep 2026
- 2026Automated Synthesis of Cloud Emulators24 Aug 2026
- 2026GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation4 Aug 2026
- 2026Text2DSL: LLM-Based Code Generation for Domain-Specific Languages21 Jun 2026
- 2026Context-Aware Distillation and Ablation for Text2DSL21 Jun 2026
- 2026Stealthy Backdoor Attacks against LLMs Based on Natural Style Triggers23 Apr 2026
- 2025Multi-Agent Systems for Dataset Adaptation in Software Engineering: Capabilities, Limitations, and Future Directions26 Nov 2025
- 2025SAIL: Sound Abstract Interpreters with LLMs17 Nov 2025
- 2025Integrating Machine Learning into Belief-Desire-Intention Agents: Current Advances and Open Challenges23 Oct 2025
- 2025LLM Priors for ERM over Programs16 Oct 2025
- 2025APRIL: API Synthesis with Automatic Prompt Optimization and Reinforcement Learning29 Aug 2025
- 2025GitTaskBench: A Benchmark for Code Agents Solving Real-World Tasks Through Code Repository Leveraging26 Aug 2025
38 more
- 2025AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities15 Aug 2025
- 2025Hallucinations in Code Change to Natural Language Generation: Prevalence and Evaluation of Detection Metrics12 Aug 2025
- 2025GPT-4.1 Sets the Standard in Automated Experiment Design Using Novel Python Libraries30 Jul 2025
- 2025Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation4 Jun 2025
- 2025Simplifying Root Cause Analysis in Kubernetes with StateGraph and LLM3 Jun 2025
- 2025GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents29 May 2025
- 2025Guarded Query Routing for Large Language Models20 May 2025
- 2025Codehacks: A Dataset of Adversarial Tests for Competitive Programming Problems Obtained from Codeforces30 Mar 2025
- 2025Developing and Utilizing a Large-Scale Cantonese Dataset for Multi-Tasking in Large Language Models5 Mar 2025
- 2025What Are They Filtering Out? An Experimental Benchmark of Filtering Strategies for Harm Reduction in Pretraining Datasets17 Feb 2025
- 2025Aero-LLM: A Distributed Framework for Secure UAV Communication and Intelligent Decision-Making5 Feb 2025
- 2025Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation5 Feb 2025
- 2025Programming by Examples Meets Historical Linguistics: A Large Language Model Based Approach to Sound Law Induction27 Jan 2025
- 2025Accessible Smart Contracts Verification: Synthesizing Formal Models with Tamed LLMs22 Jan 2025
- 2024Syzygy: Dual Code-Test C to (safe) Rust Translation using LLMs and Dynamic Analysis18 Dec 2024
- 2024A Deep Dive Into Large Language Model Code Generation Mistakes: What and Why?3 Nov 2024
- 2024Attribute Controlled Fine-tuning for Large Language Models: A Case Study on Detoxification7 Oct 2024
- 2024Contextualized Data-Wrangling Code Generation in Computational Notebooks20 Sep 2024
- 2024mathbbUSCD: Improving Code Generation of LLMs by Uncertainty-Aware Selective Contrastive Decoding9 Sep 2024
- 2024CodeJudge-Eval: Can Large Language Models be Good Judges in Code Understanding?20 Aug 2024
- 2024Plan with Code: Comparing approaches for robust NL to DSL generation15 Aug 2024
- 2024From LLMs to LLM-based Agents for Software Engineering: A Survey of Current, Challenges and Future5 Aug 2024
- 2024Prompting Techniques for Secure Code Generation: A Systematic Investigation9 Jul 2024
- 2024A Comparative Study of DSL Code Generation: Fine-Tuning vs. Optimized Retrieval Augmentation3 Jul 2024
- 2024Can Large Language Models Code Like a Linguist?: A Case Study in Low Resource Sound Law Induction18 Jun 2024
- 2024AICoderEval: Improving AI Domain Code Generation of Large Language Models7 Jun 2024
- 2024MHPP: Exploring the Capabilities and Limitations of Language Models Beyond Basic Code Generation19 May 2024
- 2024How secure is AI-generated Code: A Large-Scale Comparison of Large Language Models29 Apr 2024
- 2024The Fault in our Stars: Quality Assessment of Code Generation Benchmarks15 Apr 2024
- 2024Semantically Aligned Question and Code Generation for Automated Insight Generation21 Mar 2024
- 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code12 Mar 2024
- 2024Evaluation of LLMs on Syntax-Aware Code Fill-in-the-Middle Tasks7 Mar 2024
- 2024Guiding Enumerative Program Synthesis with Large Language Models6 Mar 2024
- 2024Learn to Code Sustainably: An Empirical Study on LLM-based Green Code Generation5 Mar 2024
- 2024Solving Data-centric Tasks using Large Language Models18 Feb 2024
- 2024X-lifecycle Learning for Cloud Incident Management using LLMs15 Feb 2024
- 2024Grounding Data Science Code Generation with Input-Output Specifications12 Feb 2024
- 2024Text-to-Code Generation with Modality-relative Pre-training8 Feb 2024
50 newest of 103 All 103 (JSON)
- 2024From LLMs to LLM-based Agents for Software Engineering: A Survey of Current, Challenges and Futurecited by 86
- 2025AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunitiescited by 28
- 2025GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agentscited by 25
- 2025GitTaskBench: A Benchmark for Code Agents Solving Real-World Tasks Through Code Repository Leveragingcited by 25
- 2025Multi-Agent Systems for Dataset Adaptation in Software Engineering: Capabilities, Limitations, and Future Directionscited by 1
- 2026GenOS: Compositional Certificates for Semantic Robustness in AI Code Generationcited by 0
- 2026GenOS: Compositional Certificates for Semantic Robustness in AI Code Generation4 Aug 2026
- 2025Multi-Agent Systems for Dataset Adaptation in Software Engineering: Capabilities, Limitations, and Future Directions26 Nov 2025
- 2025GitTaskBench: A Benchmark for Code Agents Solving Real-World Tasks Through Code Repository Leveraging26 Aug 2025
- 2025AI Agentic Programming: A Survey of Techniques, Challenges, and Opportunities15 Aug 2025
- 2025GSO: Challenging Software Optimization Tasks for Evaluating SWE-Agents29 May 2025
- 2024From LLMs to LLM-based Agents for Software Engineering: A Survey of Current, Challenges and Future5 Aug 2024
- 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Codecited by 2,004
- 2023Gorilla: Large Language Model Connected with Massive APIscited by 1,332
- 2023Hypothesis Search: Inductive Reasoning with Language Modelscited by 120
- 2023SatLM: Satisfiability-Aided Language Models Using Declarative Promptingcited by 102
- 2026ISA-Bench: A Benchmark for Computational Reasoning Across Instruction Set Architecturescited by 0
- 2026ISA-Bench: A Benchmark for Computational Reasoning Across Instruction Set Architectures19 Sep 2026
- 2024LiveCodeBench: Holistic and Contamination Free Evaluation of Large Language Models for Code12 Mar 2024
- 2023Hypothesis Search: Inductive Reasoning with Language Models11 Sep 2023
- 2023Gorilla: Large Language Model Connected with Massive APIs24 May 2023
- 2023SatLM: Satisfiability-Aided Language Models Using Declarative Prompting16 May 2023
- 2024A Comparative Study of DSL Code Generation: Fine-Tuning vs. Optimized Retrieval Augmentationcited by 10
- 2025Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generationcited by 9
- 2025Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generationcited by 3
- 2025Across Programming Language Silos: A Study on Cross-Lingual Retrieval-augmented Code Generation4 Jun 2025
- 2025Exploring the Security Threats of Knowledge Base Poisoning in Retrieval-Augmented Code Generation5 Feb 2025
- 2024A Comparative Study of DSL Code Generation: Fine-Tuning vs. Optimized Retrieval Augmentation3 Jul 2024
- 2022Large Language Models Are Human-Level Prompt Engineerscited by 1,045
- 2023Large Language Models for Software Engineering: A Systematic Literature Reviewcited by 399
- 2024CRUXEval: A Benchmark for Code Reasoning, Understanding and Executioncited by 300
- 2023Domain Specialization as the Key to Make Large Language Models Disruptive: A Comprehensive Surveycited by 135
- 2023Learning Performance-Improving Code Editscited by 106
- 2022Natural Language to Code Generation in Interactive Data Science Notebookscited by 87
- 2023Is ChatGPT the Ultimate Programming Assistant -- How far is it?cited by 76
- 2024EffiBench: Benchmarking the Efficiency of Automatically Generated Codecited by 64
- 2022Don't Generate, Discriminate: A Proposal for Grounding Language Models to Real-World Environmentscited by 57
- 2023Generative Pre-trained Transformer: A Comprehensive Review on Enabling Technologies, Potential Applications, Emerging Challenges, and Future Directionscited by 55
- 2022When Language Model Meets Private Librarycited by 54
- 2023Bias Testing and Mitigation in LLM-based Code Generationcited by 53
12 most cited of 84 All 84 (JSON)
- 2026Automated Synthesis of Cloud Emulators24 Aug 2026
- 2026Text2DSL: LLM-Based Code Generation for Domain-Specific Languages21 Jun 2026
- 2026Context-Aware Distillation and Ablation for Text2DSL21 Jun 2026
- 2025SAIL: Sound Abstract Interpreters with LLMs17 Nov 2025
- 2025Integrating Machine Learning into Belief-Desire-Intention Agents: Current Advances and Open Challenges23 Oct 2025
- 2025LLM Priors for ERM over Programs16 Oct 2025
- 2025Hallucinations in Code Change to Natural Language Generation: Prevalence and Evaluation of Detection Metrics12 Aug 2025
- 2025GPT-4.1 Sets the Standard in Automated Experiment Design Using Novel Python Libraries30 Jul 2025
- 2025Simplifying Root Cause Analysis in Kubernetes with StateGraph and LLM3 Jun 2025
- 2025Codehacks: A Dataset of Adversarial Tests for Competitive Programming Problems Obtained from Codeforces30 Mar 2025
- 2025Developing and Utilizing a Large-Scale Cantonese Dataset for Multi-Tasking in Large Language Models5 Mar 2025
- 2025Aero-LLM: A Distributed Framework for Secure UAV Communication and Intelligent Decision-Making5 Feb 2025
12 newest of 84 All 84 (JSON)