Number of items: 1.
Conference or Workshop Item (A Paper)
Cosler, Matthias and Hahn, Christopher and Mendoza, Daniel and Schmitt, Frederik and Trippel, Caroline
(2023)
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models.
This list was generated on Fri May 3 02:32:14 2024 CEST.