Research author

Guangyu Hu

1 AI research paper in the One9Founders library, with summaries and links to original sources.

Papers by Guangyu Hu

Apr 23, 2026
cs.LO

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

Xiaofeng Zhou, Guangyu Hu, Hongce Zhang, et al.

Guangyu Hu — AI Research Papers | One9Founders