SOURCE-LINKED INTELLIGENCE
Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis
Proceedings of the 64th Annual Meeting of the Association for Computational Linguistics (Volume 3: System Demonstrations)
Read original source ↗ Open in workspace
- recordType
- paper
- region
- Global
Evidence & attribution
- ACL Anthology
- OpenAlex research metadata · 2026-01-01T00:00:00.000Z
ACL Anthology and the credited paper authors. Bibliographic metadata only; abstracts and full papers are excluded. Third-party materials retain their respective rights.
License: ACL Anthology usage policy (metadata)
First collected: 2026-09-20T18:32:16.537Z. This is not the publication date.
Research metadata
OpenAlex record ↗ · Metadata licensed CC0; paper rights are separate.
- Citations reported by OpenAlex
- 0
- Authors
- Cheng Wen; Junjie Hu; Yikun Hu; Jie Su; Bin Yu; Dugang Liu; Zhiwu Xu; Weidi Sun; Shengchao Qin; Cong Tian
- Affiliations
- Xidian University (CN); Shenzhen University (CN); Peking University (CN); Department of Mathematical Sciences (RU)
- Topic
- Topic Modeling
- Publication type
- conference-paper
- Retraction flag reported by OpenAlex
- Not flagged
Citation count and retraction flag reported by OpenAlex. Citations are not a quality score; affiliation countries are not study locations.