From the 1 of 2 linked papers with an AI index.
1 paper · 1 filter
Zhiyuan Liu, Yihe Li, Trevor E. Carlson +3
The paper defines a completion semantics for reasoning about incomplete code fragments generated by large language models, and introduces a witness-generation workflow to validate…