基于端到端抽象的控制与LLM增强的自然语言到线性时序逻辑翻译

摘要

本文提出了一个结合大语言模型（LLM）的端到端抽象控制框架，将自然语言需求自动翻译为线性时序逻辑（LTL）规范，并集成到形式化综合流程中。实验表明，随着目标规范复杂度增加，翻译准确性会系统性下降，并分析了抽象语法树大小、时间深度等影响因素。