Abstract: Recently, Large Language Models (LLMs) have made substantial progress in code generation, but they still frequently generate code containing logic errors or ...