arXiv cs.SE· Qinrun Dai, Ruitong Liu, Chien-Wei Huang, Guanhong Tao, Guannan Wei, Yueqi Chen·· 4 小时前AI 评分38
ForTress：为 LLM 驱动的 Fortran 到 Python 翻译提供保证与确定性
ForTress: Bringing Assurance and Determinism for LLM-Driven Fortran-to-Python Translation
AI 导读
ForTress 将 LLM 反复出现的翻译决策固化为受保护的可执行规则，并用 Lean 中的机械化语义对其中一部分规则做语义保证。
来源：arXiv cs.SE · arxiv.org