TY - RPRT TI - Path2Spec: Path-Aware Specification Generation via Large Language Models AU - Dan Huang AU - Zhensu Sun AU - Huihui Huang AU - Jinfeng Jiang AU - Xiaofei Xie AU - Yintong Huo AU - David Lo PY - 2026 UR - https://arxiv.org/abs/2609.33438 ID - 2609.33438 ER -