SCP-NL2TL

新框架提升AI翻译在自主系统中的可靠性

研究人员开发了一个名为SCP-NL2TL的新框架，该框架提高了将自然语言指令翻译成自主系统形式化规范的可靠性。该方法结合了选择性一致性预测，以确定何时可以信任生成的规范，从而降低了安全关键型应用中的风险。该框架使用两个互补信号：回译规范的保真度以及重复翻译的一致性。在信号时序逻辑（STL）、线性时序逻辑（LTL）和几何时空逻辑（SpaTiaL）上的实验表明，翻译可靠性得到提高，并且不确定性感知性弃权有效。