BO4Mob: Bayesian Optimization Benchmarks for High-Dimensional Urban Mobility Problem. - Seunghee Ryu; Donghoon Kwon; Seongjin Choi; Aryan Deshwal; Seungmo Kang; Carolina Osorio (CoRR, 2025)