TY  - RPRT
TI  - Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation
AU  - Zehan Chen
AU  - Long Zhang
AU  - Zhiwei Zhang
AU  - JingJing Zhang
AU  - Ruoyu Zhou
AU  - Yulong Shen
AU  - JianFeng Ma
AU  - Lin Yang
PY  - 2026
UR  - https://arxiv.org/abs/2602.00715
ID  - 2602.00715
ER  -