Zhong, Sicheng

1. Code Repair with LLMs gives an Exploration-Exploitation Tradeoff
   2024/05/26 by Hao Tang, Keya Hu, Tang, Hao +11 · 18 citations
   Decision Sciences · Computer Science · #Scientific Computing and Data Management #Advanced Data Storage Technologies
2. VerifyThisBench: Generating Code, Specifications, and Proofs All at Once
   2025/05/25 by Deng, Xun, Zhong, Sicheng, Bayazıt, Barış +3 · 2 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)
3. Assessing Code Generation with Intermediate Languages
   2024/07/07 by Xun Deng, Deng, Xun, Sicheng Zhong +11 · 1 citation
   Computer Science · #FOS: Computer and information sciences #Natural Language Processing Techniques #Software Engineering (cs.SE)