Shing-Chi Cheung
4 papers · 2023–2025 · 3 conferences · across top CS/AI conferences
Achievements
Jump to papers ↓+1 more ↓ Show less ↑
π 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)
Papers
DOMAINEVAL: An Auto-Constructed Benchmark for Multi-Domain Code Generation
AAAI 2025
CRUXEVAL-X: A Benchmark for Multilingual Code Reasoning, Understanding and Execution
ACL 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