conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Cuong Chi Le
1 papers · 2026–2026 · 1 conference
· across top CS/AI conferences
Conferences
ACL (1)
Top co-authors
Phan Nháºt Huy (1)
Phan Nhat Hoang (1)
Tien N. Nguyen (1)
Tung D. Vu (1)
Minh V.t. Pham (1)
Van Duc Cuong (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