Automatic Translation of Unstructured Requirements into Linear Temporal Logic through Large Language Models

Alexandra Newcomb, Omar Ochoa

Automatically translating unstructured natural language requirements into formal specifications remains a challenge in requirements engineering and formal methods, particularly for…