nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.

Matthias Cosler, Christopher Hahn, Daniel Mendoza, Frederik Schmitt, Caroline Trippel

Browse the full CAV paper archive.