CodeGrad: Integrating Multi-Step Verification with Gradient-Based LLM Refinement

Yueke Zhang, Yifan Zhang, Kevin Leach +1

While Large Language Models (LLMs) have demonstrated remarkable capabilities in code generation, they often produce solutions that lack guarantees of correctness, robustness, and e…