Zekai Zhu

According to our database, Zekai Zhu authored at least 5 papers between 2023 and 2026.

Collaborative distances:

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

2026

Numina-Lean-Agent: An Open and General Agentic Reasoning System for Formal Mathematics.

Junqi Liu, Zihao Zhou, Zekai Zhu, Marco Dos Santos, Weikun He, Jiawei Liu, Ran Wang, Yunzhou Xie, Junqiao Zhao, Qiufeng Wang, Lihong Zhi, Jia Li, Wenda Li

CoRR, January, 2026

2025

Kimina-Prover Preview: Towards Large Formal Reasoning Models with Reinforcement Learning.

Haiming Wang, Mert Unsal, Xiaohan Lin, Mantas Baksys, Junqi Liu, Marco Dos Santos, Flood Sung, Marina Vinyes, Zhenzhe Ying, Zekai Zhu, Jianqiao Lu, Hugues de Saxcé, Bolton Bailey, Chendong Song, Chenjun Xiao, Dehao Zhang, Ebony Zhang, Frederick Pu, Han Zhu, Jiawei Liu, Jonas Bayer, Julien Michel, Longhui Yu, Léo Dreyfus-Schmidt, Lewis Tunstall, Luigi Pagani, Moreira Machado, Pauline Bourigault, Ran Wang, Stanislas Polu, Thibaut Barroyer, Wen-Ding Li, Yazhe Niu, Yann Fleureau, Yangyang Hu, Zhouliang Yu, Zihan Wang, Zhilin Yang, Zhengying Liu, Jia Li

CoRR, April, 2025

2024

MTRP: A High-Performance Cost-Efficient Buffering Scheme for Multi-Tenant Cloud Services.

Zekai Zhu, Peiquan Jin, Guorui Huang, Xiaoliang Wang, Yigui Yuan

Proceedings of the IEEE International Symposium on Parallel and Distributed Processing with Applications, 2024

2023

Continuous picking of yellow peaches with recognition and collision-free path.

Yongshang Wang, Haoyu Wu, Zekai Zhu, Yukai Ye, Mengbo Qian

Comput. Electron. Agric., November, 2023

Adaptive Buffer Replacement Policies for Multi-Tenant Cloud Services.

Zekai Zhu, Peiquan Jin, Xiaoliang Wang, Yigui Yuan, Shouhong Wan

Proceedings of the 6th International Conference on Data Storage and Data Engineering, 2023