FIELD NOTES TOPIC
semantic accuracy
1 note, newest first.
Translating Natural Language to Strategic Temporal Specifications via LLMs
Researchers have developed a framework for translating natural language descriptions of strategic requirements into well-formed formulas using Large Language Models (LLMs). They created and curated a novel dataset for…
