[2603.01896] Agentic Code Reasoning
kept by eddie
Semi-formal reasoning, a structured prompting methodology, improves LLM agents' ability to reason about code semantics without execution, boosting accuracy on patch equivalence, fault localization, and code question answering tasks.