Keyi Shen

According to our database, Keyi Shen authored at least 7 papers between 2013 and 2025.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2025

SoundnessBench: A Soundness Benchmark for Neural Network Verifiers.

Xingjian Zhou, Keyi Shen, Andy Xu, Hongji Xu, Cho-Jui Hsieh, Huan Zhang, Zhouxing Shi

Trans. Mach. Learn. Res., 2025

BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics.

Keyi Shen, Jiangwei Yu, Jose A. Barreiros, Huan Zhang, Yunzhu Li

Proceedings of the Thirteenth International Conference on Learning Representations, 2025

2024

Association rule mining of air quality through an improved Apriori algorithm: A case study in 244 Chinese cities.

Keyi Shen, Ye Tian, Bisong Hu, Jin Luo, Shuhua Qi, Songli Chen, Hui Lin

Trans. GIS, June, 2024

BaB-ND: Long-Horizon Motion Planning with Branch-and-Bound and Neural Dynamics.

Keyi Shen, Jiangwei Yu, Huan Zhang, Yunzhu Li

CoRR, 2024

2023

Verse: A Python Library for Reasoning About Multi-agent Hybrid System Scenarios.

Yangge Li, Haoqing Zhu, Katherine Braught, Keyi Shen, Sayan Mitra

Proceedings of the Computer Aided Verification - 35th International Conference, 2023

Parallel and Incremental Verification of Hybrid Automata with Ray and Verse.

Haoqing Zhu, Yangge Li, Keyi Shen, Sayan Mitra

Proceedings of the Automated Technology for Verification and Analysis, 2023

2013

Reorder user's tweets.

Keyi Shen, Jianmin Wu, Ya Zhang, Yiping Han, Xiaokang Yang, Li Song, Xiao Gu

ACM Trans. Intell. Syst. Technol., 2013