Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs.

William H. English, Dominic Simon, Sumit Kumar Jha, Rickard Ewetz

Browse the full ICML paper archive.