Language : English
梁潇

Paper Publications

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

Hits:

Impact Factor0.0

DOI number:10.1109/ASE63991.2025.00104

Journal:Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering (ASE)

Note:发表年份:2025;CCF-A类会议,ACM SIGSOFT杰出论文奖

Indexed by:会议论文

Document Type:C

Page Number:1208-1220

Translation or Not:no

First Author:Zhi

First Author:Ma

All the Authors:Cheng

All the Authors:Wen

All the Authors:Zhexin

All the Authors:Su

All the Authors:Xiao

All the Authors:Liang

All the Authors:Cong

All the Authors:Tian

All the Authors:Shengchao

All the Authors:Qin

All the Authors:Mengfei

All the Authors:Yang