Shuming Shi
This page is a disambiguation page, it actually contains mutiple papers from persons of the same or a similar name.
Known people with the same name:
- Shuming Shi 001 (Tencent AI Lab, China)
- Shuming Shi 002 (Jilin University, Changchun, Transportation College, China)
- Shuming Shi 003 (Tsinghua University, Department of Computer Science and Technology, Beijing, China)
Bibliography
2025
CoRR, May, 2025
CoRR, March, 2025
CuDIP: Enhancing Theorem Proving in LLMs via Curriculum Learning-based Direct Preference Optimization.
CoRR, February, 2025
Learning-enabled Polynomial Lyapunov Function Synthesis via High-Accuracy Counterexample-Guided Framework.
Proceedings of the IEEE/CVF Conference on Computer Vision and Pattern Recognition, 2025
2017
Proceedings of the 2017 IEEE International Conference on Smart Cloud, 2017
2004
P2P Resource Pool and Its Application to Optimize Wide-Area Application Level Multicasting.
Proceedings of the 33rd International Conference on Parallel Processing Workshops (ICPP 2004 Workshops), 2004
2003
Proceedings of the Peer-to-Peer Systems II, Second International Workshop, 2003
Proceedings of the 32nd International Conference on Parallel Processing (ICPP 2003), 2003