arXiv ID:
2603.05728
arXiv 提交日期: 2026-03-05
LTLGuard:利用紧凑语言模型与轻量级符号推理形式化LTL规范 / LTLGuard: Formalizing LTL Specifications with Compact Language Models and Lightweight Symbolic Reasoning
1️⃣ 一句话总结
这篇论文提出了一个名为LTLGuard的工具链,它通过将小型语言模型的生成能力与轻量级自动推理工具相结合,有效地将模糊的自然语言需求转化为正确且无冲突的线性时序逻辑(LTL)形式化规范。