arXiv cs.SE· Wonseok Oh, Michael Pradel, Hakjoo Oh·· 4 小时前AI 评分40
SALT：用静态分析引导 LLM 为 Python 补类型标注
Prompt Less, Infer More: Static Analysis-Guided LLM Type Annotation for Python
AI 导读
首尔大学等机构的研究者提出 SALT，将静态分析与 LLM 推理结合，为 Python 代码推断缺失的类型标注。在 12 个真实 Python 项目上，SALT 在参评系统中准确率最高，相比强编码助手基线将预估 LLM 成本最多降低 78.5%，在 GPT-5.5 上也呈现相近的成本节省。该论文已被 ICSE 2027 接收。
来源：arXiv cs.SE · arxiv.org