这份研究介绍了代理代码推理（Agentic Code Reasoning）的概念，旨在探索大语言模型在不实际运行代码的情况下，通过自主导航代码库进行深度语义分析的能力。作者提出了一种名为半正式推理（Semi-formal Reasoning）的结构化提示方法，要求模型通过明确的前提、执行路径追踪和形式化结论来构建类似于“证明证书”的分析过程。实验结果显示，该方法在补丁等效性验证、缺陷定位和代码问答三项任务中显著提升了准确率。特别是在补丁验证中，准确率达到了93%，为强化学习（RL）训练流水线提供了高可靠且低成本的反馈信号。这种结构化推理强制模型收集证据而非凭空猜测，有效解决了传统方法中推理不严谨或难以处理跨文件上下文的问题。总而言之，该技术为静态程序分析和自动化软件工程提供了一种灵活且高效的新范式。