@misc{indiciae1d0630fd3286,
  title = {When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference},
  author = {Zhiyuan Liu and Yihe Li and Trevor E. Carlson and Huiyan Wang and Ruijie Meng and Gregory J. Duck},
  year = {2026},
  url = {https://arxiv.org/abs/2607.12490},
  note = {Source identifier: 2607.12490}
}