Shing-Chi Cheung
4 papers
· 2023–2025
· 3 conferences
· across top CS/AI conferences
Achievements
π
Interdisciplinary Bridge
π§
Keyword Pioneer
π
Conference Polyglot
(3)
π
Cross-Pollinator
(12)
π
Renaissance Researcher
(5)
πΊοΈ
Taxonomy Completionist
(13)
Conferences
ACL (2)
AAAI (1)
IJCAI (1)
Top co-authors
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)