BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics - Shen, Keyi; Yu, Jiangwei; Barreiros, Jose; Zhang, Huan; Li, Yunzhu (International Conference on Learning Representations, 2025)