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.

EgoCoder: Intelligent Program Synthesis with Hierarchical Sequential Neural Network Model

Synthominds: Bridging Human Programming Intuition with Retrieval, Analogy, and Reasoning in Program Synthesis

Hierarchical Neural Program Synthesis

Human-Neural Net Collaborative Programming.

Towards Top-Down Automated Development in Limited Scopes: A Neuro-Symbolic Framework from Expressibles to Executables

Collective Intelligence for Smarter Neural Program Synthesis

Automatic Program Synthesis of Long Programs with a Learned Garbage Collector

A Neural Model for Generating Natural Language Summaries of Program Subroutines

JumpCoder: Go Beyond Autoregressive Coder via Online Modification

Outline, Then Details: Syntactically Guided Coarse-To-Fine Code Generation

Assessing Similarity-Based Grammar-Guided Genetic Programming Approaches for Program Synthesis.

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

Grammar-obeying Program Synthesis: A Novel Approach Using Large Language Models and Many-Objective Genetic Programming

NoviCode: Generating Programs from Natural Language Utterances by Novices

Towards a Fictional Collective Programming Scenario: an Approach Based on the EIF Loop

Hierarchical semantic-aware neural code representation

Neural Task Synthesis for Visual Programming

Summarizing Source Code with Hierarchical Code Representation

Human-Like Code Quality Evaluation through LLM-based Recursive Semantic Comprehension

Neurocoder: Learning General-Purpose Computation Using Stored Neural Programs