research
∙
03/08/2023
nl2spec: Interactively Translating Unstructured Natural Language to Temporal Logics with Large Language Models
A rigorous formalization of desired system requirements is indispensable...
share
research
∙
03/02/2023
