Safe Model-based Reinforcement Learning with Robust Cross-Entropy Method. - Zuxin Liu; Hongyi Zhou; Baiming Chen; Sicheng Zhong; Martial Hebert; Ding Zhao (CoRR, 2020)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff. - Hao Tang 008; Keya Hu; Jin Zhou; Sicheng Zhong; Wei-Long Zheng; Xujie Si; Kevin Ellis (NeurIPS, 2024)

Code Repair with LLMs gives an Exploration-Exploitation Tradeoff. - Hao Tang 008; Keya Hu; Jin Peng Zhou; Sicheng Zhong; Wei-Long Zheng; Xujie Si; Kevin Ellis (CoRR, 2024)

Assessing Code Generation with Intermediate Languages. - Xun Deng; Sicheng Zhong; Honghua Dong; Jingyu Hu; Sidi Mohamed Beillahi; Xujie Si; Fan Long (CoRR, 2024)

RAG-Verus: Repository-Level Program Verification with LLMs using Retrieval Augmented Generation. - Sicheng Zhong; Jiading Zhu; Yifang Tian; Xujie Si (CoRR, 2025)

VerifyThisBench: Generating Code, Specifications, and Proofs All at Once. - Xun Deng; Sicheng Zhong; Andreas G. Veneris; Fan Long; Xujie Si (CoRR, 2025)