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.

Modeling Grammatical Evolution by Automaton.

Model Approach to Grammatical Evolution: Theory and Case Study

Learning Probabilistic Models for Model Checking: an Evolutionary Approach and an Empirical Study

Exploiting abstractions for grammar‐based learning of complex multi‐agent behaviours

LLM Guided Evolution -- The Automation of Models Advancing Models

PonyGE2: Grammatical Evolution in Python

Supporting meta-model-based language evolution and rapid prototyping with automated grammar transformation

An investigation into structured grammatical evolution initialisation

Supporting Meta-model-based Language Evolution and Rapid Prototyping with Automated Grammar Optimization

Modelling Language Evolution: Examples and Predictions.

Model Representation and Cooperative Coevolution for Finite-State Machine Evolution.

Automatic design of analog electronic circuits using grammatical evolution

Grammar Evolution with Machine Learning Guided Transfer for Capacitated Arc Routing Problem

An evolutionary methodology for automatic design of finite state machines

The Unbearable Weight of Generating Artificial Errors for Grammatical Error Correction

The Computational Learning of Construction Grammars: State of the Art and Prospective Roadmap

EVOLUTIONARY MODELING BASED ON GENETIC MECHANISM

A Study of Fitness Gains in Evolving Finite State Machines

Context Matters: Adaptive Mutation for Grammars

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

GEML: A Grammar-based Evolutionary Machine Learning Approach for Design-Pattern Detection