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
18 items
Enhancing Word-Level Property Directed Reachability with LLM-Driven Semantic Guidance
2026
Cited
0
Coverage-Driven RTL Assertion Generation with Formal Exploration and Neuro-Symbolic Refinement
2026
Cited
0
NeuroAbs: A Neuro-Symbolic RTL Abstraction Framework for Property Checking Acceleration
2026
Cited
0
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
Load more
Co-authors
10 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
Aarti Gupta
Princeton University
Nina Narodytska
VMware Research
Yakir Vizel
Technion
Ahmed Irfan
SRI International
Clark Barrett
Stanford University
