GitHub repository: realChrisHahn2/nl2spec
Primary language: Python
Created: 2023-03-10T09:33:19Z
Description: nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models