R. Gandhi

NL2TL: Transforming Natural Languages to Temporal Logics using Large Language Models

2023

Temporal Logic (TL) can be used to rigorously specify complex high-level specification for systems in many engineering applications. The translation between natural language (NL) and TL has been under-explored due to the lack of dataset …