Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan. NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models. In Houda Bouamor, Juan Pino 0001, Kalika Bali, editors, Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing, EMNLP 2023, Singapore, December 6-10, 2023. pages 15880-15903, Association for Computational Linguistics, 2023. [doi]
Abstract is missing.