32 citations · 122 across the 14 of their papers we have counts for
1 paper · 1 filter
Kriz Tahimic, Charibeth Cheng
As Large Language Models become integral to software development, with substantial portions of AI-suggested code entering production, understanding their internal correctness mecha…