Harnessing the Power of Large Language Models for Automated Code Generation and Verification | Publicación