Sicheng Zhong

According to our database, Sicheng Zhong authored at least 5 papers between 2020 and 2025.

Collaborative distances:

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

2025

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation.

Sicheng Zhong, Jiading Zhu, Yifang Tian, Xujie Si

CoRR, February, 2025

2024

Assessing Code Generation with Intermediate Languages.

Xun Deng, Sicheng Zhong, Honghua Dong, Jingyu Hu, Sidi Mohamed Beillahi, Xujie Si, Fan Long

CoRR, 2024

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff.

Hao Tang, Keya Hu, Jin Peng Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis

CoRR, 2024

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff.

Hao Tang, Keya Hu, Jin Zhou, Sicheng Zhong, Wei-Long Zheng, Xujie Si, Kevin Ellis

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2020

Safe Model-based Reinforcement Learning with Robust Cross-Entropy Method.

Zuxin Liu, Hongyi Zhou, Baiming Chen, Sicheng Zhong, Martial Hebert, Ding Zhao

CoRR, 2020