APA (7th ed.) Citation

Chen, Y., Gandhi, R., Zhang, Y., & Fan, C. (2023). NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models.

Chicago Style (17th ed.) Citation

Chen, Yongchao, Rujul Gandhi, Yang Zhang, and Chuchu Fan. NL2TL: Transforming Natural Languages to Temporal Logics Using Large Language Models. 2023.

MLA (9th ed.) Citation

Chen, Yongchao, et al. NL2TL: Transforming Natural Languages to Temporal Logics Using Large Language Models. 2023.