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

Unai Antero, Francisco Blanco, Jon Oñativia, Damien Sallé, Basilio Sierra. Harnessing the Power of Large Language Models for Automated Code Generation and Verification. Robotics, 13(9):137, September 2024. [doi]

Abstract

Abstract is missing.