TY  - RPRT
TI  - Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
AU  - William English
AU  - Dominic Simon
AU  - Sumit Kumar Jha
AU  - Rickard Ewetz
PY  - 2025
UR  - https://arxiv.org/abs/2512.16814
ID  - 2512.16814
ER  -