Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Zhexin Su
conf.researchr.org general profile
ASE 2025 profile
Registered user since Tue 16 Sep 2025
Name:
Zhexin Su
Affiliation:
Xidian University
Contributions
2025
ASE
Author of Bridging Natural Language and Formal Specification - Automated Translation of Software Requirements to LTL via Hierarchical Semantics Decomposition Using LLMs within the Research Papers-track
Share
x
Mon 27 Oct 05:47