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.

Formality Based Genetic Programming

Genetic Programming Based on Non-Dominated Sorting

Hoare Logic-Based Genetic Programming

Imperative Genetic Programming

Exploration of automatic programming: on the genetic programming

Generational Computation Reduction in Informal Counterexample-Driven Genetic Programming

A Survey of Genetic Programming and Its Applications

Code Building Genetic Programming

GENETIC PROGRAMMING PARADIGM: A SURVEY

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

Genetic Programming Based On An Adaptive Regularization Method

Genetic Synthesis of Concurrent Code Using Model Checking and Statistical Model Checking

Software engineering design strategy for genetic programming

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

Evolving Exact Integer Algorithms with Genetic Programming

Novel Loop Structures And The Evolution Of Mathematical Algorithms

HOTGP -- Higher-Order Typed Genetic Programming

Multi-objective Grammar-guided Genetic Programming with Code Similarity Measurement for Program Synthesis

Universal Approximation by Genetic Programming

Genetic programming with separability detection for symbolic regression

An Intelligent Modeling Method Based on Genetic Programming and Genetic Algorithm