arXiv 2603.01896
Agentic Code Reasoning
By Shubham Ugare and Satish Chandra
Published 2026-03-02
Citation lineage
Review the prior work and downstream research connected to this paper.
Can LLM agents explore codebases and reason about code semantics without executing the code? We study this capability, which we call agentic code reasoning, and introduce semi-formal reasoning: a structured prompting methodology that requires agents to construct explicit premises, trace execution paths, and derive formal conclusions. Unlike unstructured chain-of-thought, semi-formal reasoning acts as a certificate:…