Effective LLM Code Refinement via Property-Oriented and Structurally Minimal Feedback
arXiv:2506.18315v2 Announce Type: replace-cross
Abstract: LLMs excel at code generation, yet ensuring the functional correctness of their outputs remains a persistent challenge. While recent studies have applied Test-Driven Development (TDD) to refine…