NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models.

Yongchao Chen, Rujul Gandhi, Yang Zhang, Chuchu Fan

Browse the full EMNLP paper archive.