nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language ModelsOpen Website

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

2023 (modified: 24 Apr 2023)CoRR 2023Readers: Everyone
0 Replies