1 paper
Pooja Aggarwal, Oishik Chatterjee, Ting Dai +4
The advent of large language models (LLMs) has greatly facilitated code generation, but ensuring the functional correctness of generated code remains a challenge. Traditional valid…