TY  - RPRT
TI  - nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
AU  - Matthias Cosler
AU  - Christopher Hahn
AU  - Daniel Mendoza
AU  - Frederik Schmitt
AU  - Caroline Trippel
PY  - 2023
UR  - https://arxiv.org/abs/2303.04864
ID  - 2303.04864
ER  -