3 citations · 3 across the 2 of their papers we have counts for
1 paper · 1 filter
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…