arXiv ID:
2603.01896
arXiv 提交日期: 2026-03-02
智能体代码推理 / Agentic Code Reasoning
1️⃣ 一句话总结
这篇论文提出了一种名为‘半形式化推理’的结构化提示方法,让大语言模型智能体能够在不实际执行代码的情况下,通过构建明确的前提、追踪执行路径和推导正式结论,来探索代码库并理解代码语义,从而在多个代码分析任务中显著提升了准确性。