From the 1 of 3 linked papers with an AI index.
3 papers
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…
cs.PL2026
Persistent Iterators with Value Semantics
Yihe Li, Gregory J. Duck
Iterators are a fundamental programming abstraction for traversing and modifying elements in containers in mainstream imperative languages such as C++. Iterators provide a uniform…
cs.PL2025
Large Language Model Powered Symbolic Execution
Yihe Li, Ruijie Meng, Gregory J. Duck
Large Language Models (LLMs) have emerged as a promising alternative to traditional static program analysis methods, such as symbolic execution, offering the ability to reason over…