Shiyu Cai

According to our database, Shiyu Cai authored at least 6 papers between 2011 and 2025.

Collaborative distances:

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

2025

Astra: Toward General-Purpose Mobile Robots via Hierarchical Multimodal Learning.

Sheng Chen, Peiyu He, Jiaxin Hu, Ziyang Liu, Yansheng Wang, Tao Xu, Chi Zhang, Chongchong Zhang, Chao An, Shiyu Cai, Duo Cao, Kangping Chen, Shuai Chu, Tianwei Chu, Mingdi Dan, Min Du, Weiwei Fang, Pengyou Fu, Junkai Hu, Xiaowei Jiang, Zhaodi Jiang, Fuxuan Li, Jun Li, Minghui Li, Mingyao Li, Yanchang Li, Zhibin Li, Guangming Liu, Kairui Liu, Lihao Liu, Weizhi Liu, Xiaoshun Liu, Yufei Liu, Yunfei Liu, Qiang Lu, Yuanfei Luo, Xiang Lv, Hongying Ma, Sai Ma, Lingxian Mi, Sha Sa, Hongxiang Shu, Lei Tian, Chengzhi Wang, Jiayu Wang, Kaijie Wang, Qingyi Wang, Renwen Wang, Tao Wang, Wei Wang, Xirui Wang, Chao Wei, Xuguang Wei, Zijun Xia, Zhaohao Xiao, Tingshuai Yan, Liyan Yang, Yifan Yang, Zhikai Yang, Zhong Yin, Li Yuan, Liuchun Yuan, Jinyang Zhang, Junhui Zhang, Linge Zhang, Zhenyi Zhang, Zheyu Zhang, Dongjie Zhu, Hang Li, Yangang Zhang

CoRR, June, 2025

VeriExploit: Automatic Bug Reproduction in Smart Contracts via LLMs and Formal Methods.

Chenfeng Wei, Shiyu Cai, Yiannis Charalambous, Tong Wu, Sangharatna Godboley, Lucas C. Cordeiro

Proceedings of the 40th IEEE/ACM International Conference on Automated Software Engineering, 2025

2023

Uncertainty quantification of microcirculatory characteristic parameters for recognition of cardiovascular diseases.

Jianjun Yan, Shiyu Cai, Xianglei Cai, Guangyao Zhu, Wei Zhou, Rui Guo, Haixia Yan, Yiqin Wang

Comput. Methods Programs Biomed., October, 2023

2019

Analysis of Committee Selection Mechanism in Blockchain.

Shiyu Cai

CoRR, 2019

2012

Spectral Regression Based Fault Feature Extraction for Bearing Accelerometer Sensor Signals.

Zhanguo Xia, Shixiong Xia, Ling Wan, Shiyu Cai

Sensors, 2012

2011

Multi-relational Data Semi-supervised K-Means Clustering Algorithm.

Zhanguo Xia, Wentao Zhang, Shiyu Cai, Shixiong Xia

Proceedings of the Artificial Intelligence and Computational Intelligence, 2011