Harnessing the Power of Large Language Models for Automated Code Generation and Verification

The cost landscape in advanced technology systems is shifting dramatically. Traditionally, hardware costs took the spotlight, but now, programming and debugging complexities are gaining prominence. This paper explores this shift and its implications, focusing on reducing the cost of programming complex robot behaviors, using the latest innovations from the Generative AI field, such as large language models (LLMs). We leverage finite state machines (FSMs) and LLMs to streamline robot programming while ensuring functionality. The paper addresses LLM challenges related to content quality, emphasizing a two-fold approach using predefined software blocks and a Supervisory LLM.