conftrace
_
Papers
Trends
Conferences
Explore
More
Authors
Topics
Keywords
Papers
Trends
Conferences
Explore
Authors
Topics
Keywords
Achievements
← Authors
Copy link
Liuzhenghao Lv
1 papers · 2026–2026 · 1 conference
· across top CS/AI conferences
Conferences
ACL (1)
Top co-authors
Yonghong Tian (1)
Jingya Wang (1)
Yuyang Liu (1)
Keywords
finite state machine
(1)
neuro-symbolic framework
(1)
scientific planning
(1)
semantic symbol grounding
(1)
state-augmented planning
(1)
Papers
BioProAgent: Neuro-Symbolic Grounding for Constrained Scientific Planning
ACL 2026