Publications

Jingren Wang, Guangyu Hu, Chen Chen, Heinz Riener, Shiju Lin, Hongce Zhang (2027). Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation. ASP-DAC.

Yuhan Li, Guangyu Hu, Liangze Yin, Ji Wang (2026). P-IC3: Racing Three IC3 Workers with Different Literal-Deletion Orders. ICECCS.

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

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.

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

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)

Mingkai Miao, Guangyu Hu, Wei Zhang, Hongce Zhang (2026). LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking. DAC.

Jingren Wang, Guangyu Hu, Shiju Lin, Hongce Zhang (2026). Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation. IWLS.

Da Chen, Guangyu Hu, Kaihong Xu, Kaichao Liang, Songjiang Li, Wei Yang, Xiangyu Wen, Mingxuan Yuan (2026). SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction. ISCAS.

Guangyu Hu, Chen Chen, Xiaofeng Zhou, Jiaxi Zhang, Wei Zhang, Hongce Zhang (2026). AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking. ISEDA.

Xiaofeng Zhou, Linfeng Du, Guangyu Hu, Sharad Sinha, Hongce Zhang, Jiang Xu, Wei Zhang (2026). AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs. FCCM.

Ziyi Yang, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang, Hongce Zhang (2026). FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping. DATE.

Guangyu Hu, Xiaofeng Zhou, Wei Zhang, Hongce Zhang (2026). EvolveGen: Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning. TACAS.

Rongliang Fu, Wei Xuan, Shuo Yin, Guangyu Hu, Chen Chen, Hongce Zhang, Bei Yu, Tsung-Yi Ho (2026). eLogic: An E-Graph-based Logic Rewriting Framework for Majority-Inverter Graphs. DATE.

Mingkai Miao, Jianheng Tang, Guangyu Hu, Hongce Zhang (2026). BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning. AAAI.

Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu (2025). Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting States. ICCD.

Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang (2025). E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis. DAC.

Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang (2024). E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis. DAC.

Guangyu Hu, Jianheng Tang, Changyuan Yu, Wei Zhang, Hongce Zhang (2024). DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction. ASP-DAC.

Guangyu Hu, Wei Zhang, Hongce Zhang (2023). NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking. MLCAD.

Wenji Fang, Guangyu Hu, Hongce Zhang (2023). r-map: Relating Implementation and Specification in Hardware Refinement Checking. TCAD.

Wenhao Wang, Guangyu Hu, Xiaolin Xu, Jiliang Zhang (2021). CRAlert: Hardware-Assisted Code Reuse Attack Detection. TCAS-II.