Grounding Generative Planners in Verifiable Logic: A Hybrid Architecture for Trustworthy Embodied AI - Wu, Feiyu; Zheng, Xu; Qu, Yue; Wang, Zhuocheng; Feng, Zicheng; LI, HUI (International Conference on Learning Representations, 2026)