Guangyu Hu

According to our database, Guangyu Hu authored at least 32 papers between 2011 and 2026.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2026

Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation.

Jingren Wang, Guangyu Hu, Shiju Lin, Hongce Zhang

CoRR, May, 2026

A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking.

Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, Wei Zhang

CoRR, April, 2026

Beyond Overlap Metrics: Rewarding Reasoning and Preferences for Faithful Multi-Role Dialogue Summarization.

Xiaoyong Mei, Tingting Zuo, Da Chen, Guangyu Hu, Xiangyu Wen, Chao Duan, Mingyan Zhang, Fudan Zheng

CoRR, April, 2026

IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking.

Mingkai Miao, Guangyu Hu, Ziyi Yang, Hongce Zhang

CoRR, April, 2026

AutoPDR: Circuit-Aware Solver Configuration Prediction for Hardware Model Checking.

Guangyu Hu, Chen Chen, Xiaofeng Zhou, Jiaxi Zhang, Wei Zhang, Hongce Zhang

CoRR, March, 2026

LeGend: A Data-Driven Framework for Lemma Generation in Hardware Model Checking.

Mingkai Miao, Guangyu Hu, Wei Zhang, Hongce Zhang

CoRR, February, 2026

MRHormer: A multi-scale heterogeneous graph transformer for inductive herb-target interaction prediction.

Yingpei Wu, Xiangrun Meng, Jialin Wang, Yanchun Zhang, Minjia Guan, Guangyu Hu, Zhanming Wan

Knowl. Based Syst., 2026

EvolveGen : Algorithmic Level Hardware Model Checking Benchmark Generation through Reinforcement Learning.

Guangyu Hu, Xiaofeng Zhou, Wei Zhang, Hongce Zhang

Proceedings of the Tools and Algorithms for the Construction and Analysis of Systems, 2026

SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction.

Da Chen, Guangyu Hu, Kaihong Xu, Kaichao Liang, Songjiang Li, Wei Yang, XiangYu Wen, Mingxuan Yuan

Proceedings of the IEEE International Symposium on Circuits and Systems, 2026

AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs.

Xiaofeng Zhou, Linfeng Du, Guangyu Hu, Sharad Sinha, Hongce Zhang, Wei Zhang

Proceedings of the 34th IEEE Annual International Symposium on Field-Programmable Custom Computing Machines, 2026

FORWORD: Accelerating Formal Datapath Verification via Word-Level Sweeping.

Ziyi Yang, Guangyu Hu, Xiaofeng Zhou, Mingkai Miao, Changyuan Yu, Wei Zhang, Hongce Zhang

Proceedings of the Design, Automation & Test in Europe Conference, 2026

eLogic: An E-Graph-based Logic Rewriting Framework for Majority-Inverter Graphs.

Rongliang Fu, Wei Xuan, Shuo Yin, Guangyu Hu, Chen Chen, Hongce Zhang, Bei Yu, Tsung-Yi Ho

Proceedings of the Design, Automation & Test in Europe Conference, 2026

BDD2Seq: Enabling Scalable Reversible-Circuit Synthesis via Graph-to-Sequence Learning.

Mingkai Miao, Jianheng Tang, Guangyu Hu, Hongce Zhang

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

SMT-Sweep: Word-Level Representation Unification for Hardware Verification.

Ziyi Yang, Guangyu Hu, Mingkai Miao, Changyuan Yu, Hongce Zhang

CoRR, July, 2025

Hot-FV: A Semi-Formal Test Generation Framework for RTL Functional Coverage Using Warm Starting States.

Ziyue Zheng, Zhiyuan Yan, Xiangchen Meng, Guangyu Hu, Hongce Zhang, Yangdi Lyu

Proceedings of the 43rd IEEE International Conference on Computer Design, 2025

Interactive Design of Plant Cultivation Based on an App Platform: Application Research of Virtual IP Characters and Affective Computing.

Guangyu Hu, Yang Cao, Yihang Dai

Proceedings of the HCI International 2025, 2025

E-morphic: Scalable Equality Saturation for Structural Exploration in Logic Synthesis.

Chen Chen, Guangyu Hu, Cunxi Yu, Yuzhe Ma, Hongce Zhang

Proceedings of the 62nd ACM/IEEE Design Automation Conference, 2025

2024

Authentication for Satellite Internet Resource Slicing Access Based on Trust Measurement.

Chao Guo, Guangyu Hu, Chenglei Pan, Fenghua Li, Haitao Xu, Zhu Han

IEEE Internet Things J., June, 2024

E-Syn: E-Graph Rewriting with Technology-Aware Cost Functions for Logic Synthesis.

Chen Chen, Guangyu Hu, Dongsheng Zuo, Cunxi Yu, Yuzhe Ma, Hongce Zhang

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024

DeepIC3: Guiding IC3 Algorithms by Graph Neural Network Clause Prediction.

Guangyu Hu, Jianheng Tang, Changyuan Yu, Wei Zhang, Hongce Zhang

Proceedings of the 29th Asia and South Pacific Design Automation Conference, 2024

2023

r-map: Relating Implementation and Specification in Hardware Refinement Checking.

Wenji Fang, Guangyu Hu, Hongce Zhang

IEEE Trans. Comput. Aided Des. Integr. Circuits Syst., December, 2023

NeuroPDR: Integrating Neural Networks in the PDR Algorithm for Hardware Model Checking.

Guangyu Hu, Wei Zhang, Hongce Zhang

Proceedings of the 5th ACM/IEEE Workshop on Machine Learning for CAD, 2023

2022

CRAlert: Hardware-Assisted Code Reuse Attack Detection.

Wenhao Wang, Guangyu Hu, Xiaolin Xu, Jiliang Zhang

IEEE Trans. Circuits Syst. II Express Briefs, 2022

Hybrid CTC Language Identification Structure for Mandarin-English Code-Switching ASR.

Hengxin Yin, Guangyu Hu, Fei Wang, Pengfei Ren

Proceedings of the 13th International Symposium on Chinese Spoken Language Processing, 2022

2018

A Tactile Sensor Decoupling Process.

Yuyun Xu, Xuekun Zhuang, Guangyu Hu, Hongqing Pan, Feng Shuang

Sensors, 2018

Decoupling Analysis of a Six-Dimensional Force Sensor Bridge Fault.

Guangyu Hu, Qing Gao, Huibin Cao, Hongqing Pan, Feng Shuang

IEEE Access, 2018

2015

A thin film pressure sensor with double sensitive units.

Hongqing Pan, Guangyu Hu, Pingguo Cao, Yubing Wang, Yunjian Ge, Feng Shuang

Proceedings of the IEEE International Conference on Information and Automation, 2015

Design in data acquisition system of Fluke PM6306 based on LabVIEW.

Guangyu Hu, Xuan Wei, Hongqing Pan, Yubing Wang, YunJian Ge, Feng Shuang

Proceedings of the IEEE International Conference on Information and Automation, 2015

2014

Masquerade Detection Using Support Vector Machines in the Smart Grid.

Xiang Zhao, Guangyu Hu, Zhigong Wu

Proceedings of the Seventh International Joint Conference on Computational Sciences and Optimization, 2014

The Smart grid scheduling based on contract net protocol with trust model.

Xiang Zhao, Guangyu Hu, Zhigong Wu

Proceedings of the 2014 IEEE/ACIS 13th International Conference on Computer and Information Science, 2014

2013

Business ecosystem extension: facilitating the technology substitution.

Ke Rong, Guangyu Hu, Jie Hou, Rufei Ma, Yongjiang Shi

Int. J. Technol. Manag., 2013

2011

A novel traffic shaping algorithm with delay jitter constraints for real-time multimedia networks.

Hairui Zhou, Jian Li, Fei Hu, Guangyu Hu, Yeqiong Song, Lina He

Proceedings of the IEEE 16th Conference on Emerging Technologies & Factory Automation, 2011