Preprint
Jul 2026
When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference
The results show that witness generation effectively distinguishes inferences supported by plausible completions from those requiring unrealistic assumptions, providing a practical mechanism for validating reasoning over incomplete programs.
Zhiyuan Liu, Yihe Li, Trevor E. Carlson et al.
· 0 citations