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

Zhiyuan Liu, Yihe Li, Trevor E. Carlson +3

Due to token and cognitive limits, Large Language Models (LLMs) typically perform program reasoning over incomplete code fragments/prompts rather than complete programs. Such reaso…