代码大模型 / AI 编程

Advancing Automated In-Isolation Validation in Repository-Level Code Translation

在仓库级代码翻译中推进自动化独立验证

Kaiyao Ke, Ali Reza Ibrahimzada, Rangeet Pan, Saurabh Sinha, Reyhaneh Jabbarvand

专题命中 仓库级理解 ：repository(title,abstract)；分类 cs.SE、cs.PL

AI总结 TRAM通过结合上下文感知的类型解析与基于模拟的独立验证，实现了高质量的编程语言间翻译，尤其在Java到Python的翻译中表现出色。