STRIDER: Navigation via Instruction-Aligned Structural Decision Space Optimization - He, Diqi; Gao, Xuehao; Li, Hao; Han, Junwei; Zhang, Dingwen (Advances in Neural Information Processing Systems, 2025)