


default search action
"SLD-Spec: Enhancement LLM-assisted Specification Generation for Complex ..."
Zehan Chen et al. (2025)
- Zehan Chen, Long Zhang, Zhiwei Zhang, JingJing Zhang, Ruoyu Zhou, Yulong Shen, Jianfeng Ma, Lin Yang:
SLD-Spec: Enhancement LLM-assisted Specification Generation for Complex Loop Functions via Program Slicing and Logical Deletion. CoRR abs/2509.09917 (2025)

manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.