arXiv ID:
2604.07321
arXiv 提交日期: 2026-04-08
语法易,语义难:评估大语言模型在LTL公式翻译中的表现 / Syntax Is Easy, Semantics Is Hard: Evaluating LLMs for LTL Translation
1️⃣ 一句话总结
这篇论文评估了多种大语言模型将自然语言描述翻译成形式化逻辑公式的能力,发现它们在语法层面表现较好,但在理解深层语义时仍面临挑战,同时指出通过优化提示词或将任务重构为代码补全问题可以显著提升翻译效果。