Hongce Zhang
Scholar

Hongce Zhang

Google Scholar ID: C0Fiv5oAAAAJ
Hong Kong University of Science and Technology (Guangzhou)
Logic Design & VerificationHardware Model Checking
Homepage↗Google Scholar↗
Citations & Impact
All-time
Citations
649
 
H-index
13
 
i10-index
16
 
Publications
20
 
Co-authors
25
list available
Contact
Emailhongcezh@ust.hkCVOpen ↗GitHubOpen ↗LinkedInOpen ↗
Publications
10 items
AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking
2026
Cited
0
LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking
2026
Cited
0
EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning
2026
Cited
0
ReVEAL: GNN-Guided Reverse Engineering for Formal Verification of Optimized Multipliers
2025
Cited
0
Functional Reduction to Speed Up Bounded Model Checking
2025
Cited
0
BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning
2025
Cited
0
SMT-Sweep: Word-Level Representation Unification for Hardware Verification
2025
Cited
0
E-morphic: Scalable Equality Saturation for Structural Exploration in Logic~Synthesis
2025
Cited
0
Resume (English only)
Co-authors
25 total
Wenji Fang
Wenji Fang
Hong Kong University of Science and Technology
Sharad Malik
Sharad Malik
Professor of Electrical and Computer Engineering, Princeton University
Zhiyao Xie
Zhiyao Xie
Assistant Professor, Hong Kong University of Science and Technology
Co-author 4
Co-author 4
Co-author 5
Co-author 5
Aarti Gupta
Aarti Gupta
Princeton University
Co-author 7
Co-author 7
Co-author 8
Co-author 8