TY  - RPRT
TI  - When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference
AU  - Zhiyuan Liu
AU  - Yihe Li
AU  - Trevor E. Carlson
AU  - Huiyan Wang
AU  - Ruijie Meng
AU  - Gregory J. Duck
PY  - 2026
UR  - https://arxiv.org/abs/2607.12490
ID  - 2607.12490
ER  -