Reducing Hallucinations in LLM-Generated Code via Semantic Triangulation
Large language models (LLMs) can generate executable code from natural language descriptions, but the resulting programs frequently contain bugs due to hallucinations. In the absence of formal specifications, existing approaches attempt to assess correctness using LLM-generated proxies such as tests or auto-formalized...
Yihan Dai, Sijie Liang, Haotian Xu et al.
· Proceedings of the ACM on Pr... · 0 citations