https://arxiv.org/abs/2303.04864
[2303.04864] nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics...
Abstract page for arXiv paper 2303.04864: nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
natural language230304864interactivelytranslating