@misc{indiciae00b42d910e15,
  title = {Path2Spec: Path-Aware Specification Generation via Large Language Models},
  author = {Dan Huang and Zhensu Sun and Huihui Huang and Jinfeng Jiang and Xiaofei Xie and Yintong Huo and David Lo},
  year = {2026},
  url = {https://arxiv.org/abs/2609.33438},
  note = {Source identifier: 2609.33438}
}