arXiv 2603.01896
Agentic Code Reasoning
By Shubham Ugare and Satish Chandra
Published 2026-03-02
Mindmap
Browse the paper's core ideas, clusters, and relationships in a structured outline.
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:…