@misc{indiciaea24d7d474932,
  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},
  url = {https://arxiv.org/abs/2406.07400},
  note = {Source identifier: 2406.07400}
}