Grammar-Forced LTL Translation

Grammar-forced decoding for translating natural language to temporal logic using LLMs.