Zeming Sun

According to our database, Zeming Sun authored at least 3 papers between 2023 and 2026.

Collaborative distances:

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

2026

LeanSearch v2: Global Premise Retrieval for Lean 4 Theorem Proving.

Guoxiong Gao, Zeming Sun, Jiedong Jiang, Yutong Wang, Jingda Xu, Peihao Wu, Bryan Dai, Bin Dong

CoRR, May, 2026

Automated Conjecture Resolution with Formal Verification.

Haocheng Ju, Guoxiong Gao, Jiedong Jiang, Bin Wu, Zeming Sun, Leheng Chen, Yutong Wang, Yuefeng Wang, Zichen Wang, Wanyi He, Peihao Wu, Liang Xiao, Ruochuan Liu, Bryan Dai, Bin Dong

CoRR, April, 2026

2023

Multimodal Activity Detection for Natural Interaction with Virtual Human.

Kai Wang, Shiguo Lian, Haiyan Sang, Wen Liu, Zhaoxiang Liu, Fuyuan Shi, Hui Deng, Zeming Sun, Zezhou Chen

Proceedings of the IEEE Conference on Virtual Reality and 3D User Interfaces Abstracts and Workshops, 2023