1 paper · 1 filter
Yunxiang Wei, Tianlin Li, Yuwei Zheng +6
Large language models (LLMs) have demonstrated remarkable capabilities in generating programs from natural language descriptions, yet ensuring their correctness without an external…