conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Stuti Mohan
1 papers · 2026–2026 · 1 conference
· across top CS/AI conferences
Conferences
ACL (1)
Top co-authors
Li Zhang (1)
Ziyi Yang (1)
Stefanie Tellex (1)
Cassie Huang (1)
Keywords
automated planning
(1)
formal language
(1)
constraint reasoning
(1)
planning formalization
(1)
Papers
Language Model as Planner and Formalizer under Constraints
ACL 2026