Shen, Keyi

2 publications

ICLR 2025 BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics Keyi Shen, Jiangwei Yu, Jose Barreiros, Huan Zhang, Yunzhu Li

TMLR 2025 SoundnessBench: A Soundness Benchmark for Neural Network Verifiers Xingjian Zhou, Keyi Shen, Andy Xu, Hongji Xu, Cho-Jui Hsieh, Huan Zhang, Zhouxing Shi