Scholar
Hongce Zhang
Google Scholar ID: C0Fiv5oAAAAJ
Hong Kong University of Science and Technology (Guangzhou)
Logic Design & Verification
Hardware Model Checking
Follow
Homepage
↗
Google Scholar
↗
Citations & Impact
All-time
Citations
649
H-index
13
i10-index
16
Publications
20
Co-authors
25
list available
Contact
Email
hongcezh@ust.hk
CV
Open ↗
GitHub
Open ↗
LinkedIn
Open ↗
Publications
15 items
Forbench: Symbolic Simulation Helps Make Your Testbench More Formal
2026
Cited
0
CircuitProver: Agentic Lean 4 Theorem Proving with Reusable Circuit Proof Library for Hardware Verification
2026
Cited
0
Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation
2026
Cited
0
AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs
2026
Cited
0
A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking
2026
Cited
0
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
Load more
Resume (English only)
Co-authors
25 total
Wenji Fang
Hong Kong University of Science and Technology
Sharad Malik
Professor of Electrical and Computer Engineering, Princeton University
Zhiyao Xie
Assistant Professor, Hong Kong University of Science and Technology
Co-author 4
Co-author 5
Aarti Gupta
Princeton University
Co-author 7
Co-author 8
