SourceTracker：面向 LLM 生成代码片段的高效可扩展溯源追踪
研究者提出 300M 参数的代码检索编码器 SourceTracker 及两阶段溯源流水线 HybridSourceTracker（HST），先用向量搜索缩小候选范围，再用 Winnowing 精确指纹重排序。
#代码模型
arXiv cs.SEAI 评分3131 arXiv cs.SEAI 评分3131 SoK：LLM 在源代码恢复中可靠吗？分类体系与实证评估
首个聚焦 LLM 辅助二进制到源代码恢复的 SoK 研究发布，提出以设计为中心的分类体系，并在 45,000 个测试样本上系统评估现有方法。样本覆盖四种标准架构与五种嵌入式架构、五种优化级别及符号剥离，从六个评估维度、七项关键指标展开。研究还消融了输入表示、上下文增强、模型规模、迭代与审查角色等设计选择的影响，并测试了四种成熟语言与两种遗留语言的同语言及跨语言恢复能力。
arXiv cs.SEAI 评分3131 LLM 代码生成中的过度自信失败问题研究
研究针对基于 LLM 的代码生成中"错误程序却表现出与正确程序相当的 token 级置信度"这一过度自信困境，在四个开源代码模型和三个基于执行的基准上展开分析。结果显示，现有不确定性信号仅提供部分且依赖模型的执行失败证据，过度自信在程序级和 token 级均持续存在，基于不确定性的选择无法稳定提升接受集准确率。指令微调会提高失败生成的确定性却不改善正确性判别，常见缓解手段也无法可靠解决该失败模式。
arXiv cs.SEAI 评分2626 IRONPROOF：基于 SMT 等价性检查的 COBOL 到 Python 转译
IRONPROOF 将 COBOL 解析为中间表示并生成 Python，再用 Z3 编码为共享输入上的公式，输出可机器校验的等价性证书（UNSAT）或反例（SAT）。