Guangyu (Gary) Hu

Guangyu (Gary) Hu

Researcher at Huawei Hong Kong Research Center, Fermat Lab

Huawei Hong Kong Research Center, Fermat Lab

About Me

Hello! Thank you for visiting my page. I am a researcher at Huawei Hong Kong Research Center, Fermat Lab, working on LLM + formal verification reasoning and hardware formal verification. I received my Ph.D. in IIP-MICS (Microelectronics) from HKUST in 2025, supervised by Prof.Hongce Zhang and Prof.Wei Zhang. I graduated from Xiamen University in February 2021.

See my resumé on overleaf.

Interests
  • Formal Verification
  • Hardware Security
  • Invariant Synthesis
  • Model Checking
  • Deep Learning
Education

  • Ph.D. in IIP-MICS (Microelectronics), Feb. 2022 - 2025

    The Hong Kong university of Science and Technology

  • B.Eng. in Software Engineering, Sep. 2016 - Feb. 2021

    Xiamen University

Recent Publications

Ziyi Yang, Wenbin Che, Ziyue Zheng, Guangyu Hu, Hongce Zhang (2026). Forbench: Symbolic Simulation Helps Make Your Testbench More Formal. ICCAD.

Code

Xingyu Liu, Hanwei Fan, Chaofang Ma, Jiawei Liang, Guangyu Hu, Jiang Xu, Wei Zhang (2026). APEX-RBD: Mixed-Precision Exploration Framework for Hardware-Efficient Robot Dynamics Accelerator Design. ICCAD.

Mingkai Miao, Guangyu Hu, Ziyi Yang, Hongce Zhang (2026). IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking. IJCAI.

PDF Code

Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang (2026). A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking. CAV.

PDF Code DOI Artifact (Zenodo)

Xiaoyong Mei, Tingting Zuo, Da Chen, Guangyu Hu, Xiangyu Wen, Chao Duan, Mingyan Zhang, Fudan Zheng (2026). Beyond Overlap Metrics: Rewarding Reasoning and Preferences for Faithful Multi-Role Dialogue Summarization. ACL Findings.

PDF DOI Models & Data

See all publications

Services

Conference Technical Program Committee

  • International Symposium of EDA (ISEDA) 2026

Artifact Evaluation Committee

  • Computer-Aided Verification (CAV) 2025
  • Tools and Algorithms for the Construction and Analysis of Systems (TACAS) 2025
  • Object-Oriented Programming, Systems, Languages & Applications (OOPSLA) 2025
  • USENIX Conference on File and Storage Technologies (FAST) 2024
  • Integrated Formal Methods (iFM) 2024, 2025

Sub-Reviewer & Student Reviewer

  • Design Automation Conference (DAC) 2026
  • Asia and South Pacific Design Automation Conference (ASP-DAC) 2025
  • Formal Methods in Computer-Aided Design (FMCAD) 2024

Benchmark Contribution

  • Hardware Model Checking Competition (HWMCC) 2024, 2025 — benchmark contributor (submission)

Contact