Shing-Chi Cheung
4 papers · 2023–2025 · 3 venues · across top CS/AI venues
Authors are matched by name, so researchers who share a name ("Yang Liu", "Wei Wang") appear as a single profile and their paper counts, venues and achievements are combined. How identity is handled.
Achievements
Jump to papers ↓
๐
Conference Polyglot ยท Bronze
๐
Interdisciplinary Bridge ยท Silver
๐บ๏ธ
Taxonomy Completionist
(12)
Top co-authors
Research topics
Keywords
large language model
(3)
theorem proving
(1)
code generation
(1)
deep learning
(1)
formal verification
(1)
formal specification
(1)
program generation
(1)
formal proof
(1)
code execution
(1)
multilingual benchmark
(1)
natural language requirement
(1)
code reasoning
(1)
cross-language generalization
(1)
domain-specific code
(1)
domain-specific coding
(1)
mutation testing
(1)
multi-domain benchmark
(1)
program generator
(1)
benchmark evaluation
(1)
compiler testing
(1)
Papers
CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution
ACL 2025
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
AAAI 2025
From Informal to Formal โ Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
ACL 2025
Revisiting the Evaluation of Deep Learning-Based Compiler Testing
IJCAI 2023