研究人员开发了一个名为SCP-NL2TL的新框架，该框架提高了将自然语言指令翻译成自主系统形式化规范的可靠性。该方法结合了选择性一致性预测，以确定何时可以信任生成的规范，从而降低了安全关键型应用中的风险。该框架使用两个互补信号：回译规范的保真度以及重复翻译的一致性。在信号时序逻辑（STL）、线性时序逻辑（LTL）和几何时空逻辑（SpaTiaL）上的实验表明，翻译可靠性得到提高，并且不确定性感知性弃权有效。 AI
影响 通过使自主系统能够识别不可靠的规范来增强AI接口的信任度。
排序理由 该条目是一篇学术论文，详细介绍了一个新的AI翻译框架。[lever_c_demoted from research: ic=1 ai=1.0]
AI 生成摘要 · Google Gemini · 来自 1 个来源。 我们如何撰写摘要 →
