arXiv (OAI Expanded)
open access
When is LLM-Based Program Reasoning Correct? A Completion Semantics for LLM-Based Code Inference
Due to token and cognitive limits, Large Language Models (LLMs) typically perform program reasoning over incomplete code fragments/prompts rather than complete programs. Such reasoning therefore must rely on {assumptions about omitted code and context. As a result, the meaning of an inference over a
Conceptio Open Archive
Analyze & explore related research in Conceptio
Connect this record directly into your research workflow or AI agent. Explore citations across open repositories, query full text, and export structured proof bundles.
This document is indexed with metadata only: full text is not available in the archive for this record. Open the official source ↗
Related documents
- LangChoiceBench: Measuring and Explaining Programming-Language Choice in LLMs#432595
- Teaching LLMs Program Semantics via Symbolic Execution Traces#168378
- HoarePrompt: Structural Reasoning About Program Correctness in Natural Language#984837
- A*-Thought-V2: Efficient Latent Reasoning via Geometric Dynamics of LLM#984715
- Evaluating LLMs Code Reasoning Under Real-World Context#13159
Record · ID 1084289
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Retrieved via Conceptio: every document is proof-bundled with source, license, and retrieval metadata.
Bring this data into your agent: Connect via MCP or API · 20 free credits to start · no card required
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive
Read the Docs → · View CLI source on GitHub · Conceptio Open Knowledge Archive