Guiding LLM Temporal Logic Generation with Explicit Separation of Data and Control

William Murphy, Nikolaus Holzer, Nathan Koenig +4

Temporal logics are powerful tools that are widely used for the synthesis and verification of reactive systems. The recent progress on Large Language Models (LLMs) has the potentia…