conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Van Duc Cuong
1 papers · 2026–2026 · 1 conference
· across top CS/AI conferences
Conferences
ACL (1)
Top co-authors
Cuong Chi Le (1)
Phan Nháºt Huy (1)
Phan Nhat Hoang (1)
Tien N. Nguyen (1)
Tung D. Vu (1)
Minh V.t. Pham (1)
Keywords
code generation
(1)
large language model
(1)
multi-turn prompting
(1)
postcondition generation
(1)
program specification
(1)
Papers
SpecMind: Cognitively Inspired, Interactive Multi-Turn Framework for Postcondition Inference
ACL 2026