Shing-Chi Cheung

Venues

Frequent coauthors

Papers

1. Across Programming Language Silos: A Study on Cross-Lingual Retrieval-Augmented Code Generation
   ACL 2026 ·

   Qiming Zhu

   DBLP profile ↗ORCID search ↗
2. CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution
   ACL 2025 ·

   Ruiyang Xu

   DBLP profile ↗ORCID search ↗
3. DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
   AAAI 2025 ·

   Qiming Zhu

   DBLP profile ↗ORCID search ↗
4. From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
   ACL 2025 ·

   Jialun Cao

   DBLP profile ↗ORCID search ↗