49 citations · 203 across the 10 of their papers we have counts for
1 paper · 1 filter
Zichen Xie, Mrigank Pawagi, Yuxin Liu +5
Large language models can generate useful code from natural language, but their outputs come without correctness guarantees. Verifiable code generation offers a path beyond testing…