most citedBridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs

6 citations · 6 across the 1 of their papers we have counts for

collaborators

1 paper

cs.SE2025★ 6 cited

Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs

Zhi Ma, Cheng Wen, Zhexin Su +4

Automating the translation of natural language (NL) software requirements into formal specifications remains a critical challenge in scaling formal verification practices to indust…