#large language models
Open access
Automatic translation of natural language requirements into CTL specifications using Large Language Models: A multi-approach evaluation
Computer Science