arXiv 2603.01896
Agentic Code Reasoning
By Shubham Ugare and Satish Chandra
Published 2026-03-02
Wiki summary
Explore the paper's summary, context, and related research on Papiers.
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:…