Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control. - William Murphy; Nikolaus Holzer; Nathan Koenig; Leyi Cui; Raven Rothkopf; Feitong Qiao; Mark Santolucito (CoRR, 2024)

Combining LLM Code Generation with Formal Specifications and Reactive Program Synthesis. - William Murphy; Nikolaus Holzer; Feitong Qiao; Leyi Cui; Raven Rothkopf; Nathan Koenig; Mark Santolucito (CoRR, 2024)