Abstract:The ability to automatically generate code, i.e., program synthesis, is one of the most important applications of artificial intelligence (AI). Currently, two AI techniques are leading the way: large language models (LLMs) and genetic programming (GP) methods—each with its strengths and weaknesses. While LLMs have shown success in program synthesis from a task description, they often struggle to generate the correct code due to ambiguity in task specifications, complex programming syntax, and lack of reliability in the generated code. Furthermore, their generative nature limits their ability to fix erroneous code with iterative LLM prompting. Grammar-guided genetic programming (G3P, i.e., one of the top GP methods) has been shown capable of evolving programs that fit a defined Backus–Naur-form (BNF) grammar based on a set of input/output tests that help guide the search process while ensuring that the generated code does not include calls to untrustworthy libraries or poorly structured snippets. However, G3P still faces issues generating code for complex tasks. A recent study attempting to combine both approaches (G3P and LLMs) by seeding an LLM-generated program into the initial population of the G3P has shown promising results. However, the approach rapidly loses the seeded information over the evolutionary process, which hinders its performance. In this work, we propose combining an LLM (specifically ChatGPT) with a many-objective G3P (MaOG3P) framework in two parts: (i) provide the LLM-generated code as a seed to the evolutionary process following a grammar-mapping phase that creates an avenue for program evolution and error correction; and (ii) leverage many-objective similarity measures towards the LLM-generated code to guide the search process throughout the evolution. The idea behind using the similarity measures is that the LLM-generated code is likely to be close to the correct fitting code. Our approach compels any generated program to adhere to the BNF grammar, ultimately mitigating security risks and improving code quality. Experiments on a well-known and widely used program synthesis dataset show that our approach successfully improves the synthesis of grammar-fitting code for several tasks.

Enabling Programming Thinking in Large Language Models Toward Code Generation

Think Outside the Code: Brainstorming Boosts Large Language Models in Code Generation

Planning-Driven Programming: A Large Language Model Programming Workflow

What Makes Large Language Models Reason in (Multi-Turn) Code Generation?

On the Effectiveness of Large Language Models in Domain-Specific Code Generation

How Do Humans Write Code? Large Models Do It the Same Way Too

Large Language Models as Code Executors: An Exploratory Study

Enhancing Program Synthesis with Large Language Models Using Many-Objective Grammar-Guided Genetic Programming

Steering Large Language Models between Code Execution and Textual Reasoning

A Self-Iteration Code Generation Method Based on Large Language Models

An evaluation of LLM code generation capabilities through graded exercises

Self-planning Code Generation with Large Language Models

Large Language Model-Aware In-Context Learning for Code Generation

Test-Driven Development for Code Generation

Towards Enhancing In-Context Learning for Code Generation

Multi-Programming Language Ensemble for Code Generation in Large Language Model

A Deep Dive into Large Language Model Code Generation Mistakes: What and Why?

Planning with Large Language Models for Code Generation

Evaluating Large Language Models in Class-Level Code Generation