NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models
专题命中 预训练与数据 :large language model(title,abstract);language model(title,abstract);分类 cs.CL
Comments 25 pages, 18 figures
Journal ref Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing