works on
bug detection 1code inference 1completion semantics 1large language models 1program reasoning 1

From the 1 of 1 linked paper with an AI index.

collaborators

1 paper

cs.PL2026

When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference

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…