Showing cs.CLShow all
2 papers · 1 filter
cs.CL2025
Grammar-Forced Translation of Natural Language to Temporal Logic using LLMs
William English, Dominic Simon, Sumit Kumar Jha +1
Translating natural language (NL) into a formal language such as temporal logic (TL) is integral for human communication with robots and autonomous systems. State-of-the-art approa…
cs.CL2025
GinSign: Grounding Natural Language Into System Signatures for Temporal Logic Translation
William English, Chase Walker, Dominic Simon +1
Natural language (NL) to temporal logic (TL) translation enables engineers to specify, verify, and enforce system behaviors without manually crafting formal specifications-an essen…