TY  - RPRT
TI  - Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control
AU  - William Murphy
AU  - Nikolaus Holzer
AU  - Nathan Koenig
AU  - Leyi Cui
AU  - Raven Rothkopf
AU  - Feitong Qiao
AU  - Mark Santolucito
PY  - 2024
UR  - https://arxiv.org/abs/2406.07400
ID  - 2406.07400
ER  -