Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Blancett, Brad"'
Autor:
Aggarwal, Pooja, Chatterjee, Oishik, Dai, Ting, Mohapatra, Prateeti, Paulovicks, Brent, Blancett, Brad, De Magalhaes, Arthur
The advent of large language models (LLMs) has greatly facilitated code generation, but ensuring the functional correctness of generated code remains a challenge. Traditional validation methods are often time-consuming, error-prone, and impractical f
Externí odkaz:
http://arxiv.org/abs/2408.15630