@article{guidingllmtemporallogicgenerationwith,
  title = {Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control},
  author = {William Murphy and Nikolaus Holzer and Nathan Koenig and Leyi Cui and Raven Rothkopf and Feitong Qiao and Mark Santolucito},
  year = {2024},
  eprint = {2406.07400},
  archivePrefix = {arXiv},
  url = {https://arxiv.org/abs/2406.07400v1},
}