@misc{indiciaebb2d6783d74f,
  title = {Beyond Basic Specifications? A Systematic Study of Logical Constructs in LLM-based Specification Generation},
  author = {Zehan Chen and Long Zhang and Zhiwei Zhang and JingJing Zhang and Ruoyu Zhou and Yulong Shen and JianFeng Ma and Lin Yang},
  year = {2026},
  url = {https://arxiv.org/abs/2602.00715},
  note = {Source identifier: 2602.00715}
}