NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models Yongchao Chen author Rujul Gandhi author Yang Zhang author Chuchu Fan author 2023-12 text Proceedings of the 2023 Conference on Empirical Methods in Natural Language Processing Houda Bouamor editor Juan Pino editor Kalika Bali editor Association for Computational Linguistics Singapore conference publication chen-etal-2023-nl2tl 10.18653/v1/2023.emnlp-main.985 https://aclanthology.org/2023.emnlp-main.985/ 2023-12 15880 15903