@misc{indiciae5cfde3a7e26b,
  title = {NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models},
  author = {Yongchao Chen and Rujul Gandhi and Yang Zhang and Chuchu Fan},
  year = {2024},
  url = {https://arxiv.org/abs/2305.07766},
  note = {Source identifier: 2305.07766}
}