Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
基于语言模型的自然语言到时序逻辑的语法强制翻译
机构 * Department of Electrical and Computer Engineering, University of Florida, Gainesville, Florida(电子与计算机工程系,佛罗里达大学,盖恩斯维尔,佛罗里达) ; Knight Foundation School of Computing and Information Sciences, Florida International University, Miami, Florida(骑士基金会计算与信息科学学院,佛罗里达国际大学,迈阿密,佛罗里达)
AI总结 本文提出GraFT框架,通过限制输出标记集提升自然语言到时序逻辑的翻译准确率和领域外翻译能力。
Journal ref Proceedings of the 42nd International Conference on Machine Learning, PMLR 267:15370-15383, 2025