Zero-Shot Trajectory Planning for Signal Temporal Logic Tasks - Liu, Ruijia; Hou, Ancheng; Yu, Xiao; Yin, Xiang (Advances in Neural Information Processing Systems, 2025)