@inproceedings{wen-etal-2026-formally,
    title = "Formally Specifying the Intended Behavior of the Program: {LLM}-Driven Neuro-Symbolic Program Specification Synthesis",
    author = "Wen, Cheng  and
      Junjie, Hu  and
      Hu, YiKun  and
      Su, Jie  and
      Yu, Bin  and
      Liu, Dugang  and
      Xu, Zhiwu  and
      Sun, Weidi  and
      Qin, Shengchao  and
      Tian, Cong",
    editor = "Durrett, Greg  and
      Jian, Ping",
    booktitle = "Proceedings of the 64th Annual Meeting of the {A}ssociation for {C}omputational {L}inguistics (Volume 3: System Demonstrations)",
    month = jul,
    year = "2026",
    address = "San Diego, California, United States",
    publisher = "Association for Computational Linguistics",
    url = "https://preview.aclanthology.org/ingest-acl/2026.acl-demo.66/",
    pages = "672--682",
    ISBN = "979-8-89176-392-0"
}