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
17 items
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
AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking
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
