SCP-NL2TL：基于选择性共形预测与语义验证的自然语言到时序逻辑规范转换
SCP-NL2TL: Selective Conformal Prediction with Semantic Verification for Natural Language to Temporal Logic Specifications
AI 导读
研究者提出 SCP-NL2TL 框架，让自然语言到时序逻辑规范的转换能判断结果是否可信，不可靠时弃权。框架用规范回译保真度与重复翻译离散度两个黑盒信号评分，经共形风险控制校准为接受或弃权，对错误规范被接受的比例给出分布无关的界，并用共形异常检测筛除分布外输入。在 STL、LTL 和 SpaTiaL 上的实验显示转换可靠性提升、弃权机制有效。