conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Minh V.t. Pham
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)
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