conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Weidi Sun
1 papers · 2026–2026 · 1 conference
· across top CS/AI conferences
Conferences
ACL (1)
Top co-authors
Cheng Wen (1)
Bin Yu (1)
Cong Tian (1)
Hu Junjie (1)
YiKun Hu (1)
Zhiwu Xu (1)
Jie Su (1)
Dugang Liu (1)
Shengchao Qin (1)
Keywords
formal verification
(1)
neuro-symbolic system
(1)
large language model
(1)
program specification
(1)
specification synthesis
(1)
Papers
Formally Specifying the Intended Behavior of the Program: LLM-Driven Neuro-Symbolic Program Specification Synthesis
ACL 2026