TY  - RPRT
TI  - Bridging Natural Language and Formal Specification--Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs
AU  - Zhi Ma
AU  - Cheng Wen
AU  - Zhexin Su
AU  - Xiao Liang
AU  - Cong Tian
AU  - Shengchao Qin
AU  - Mengfei Yang
PY  - 2025
DO  - 10.1109/ase63991.2025.00104
UR  - https://arxiv.org/abs/2512.17334
ID  - 2512.17334
ER  -