Guangyu Hu

Identifiers

No identifiers captured yet.

Papers (6)

1. Inverter Redistribution through Self-Dual and Self-Anti-Dual Function Transformation cs.LO · 2026 · author #2
2. AutoINV: Automated Invariant Generation Framework for Formal Verification on High-Level Synthesis Designs cs.AR · 2026 · author #3
3. A-IC3: Learning-Guided Adaptive Inductive Generalization for Hardware Model Checking cs.LO · 2026 · author #2
4. Beyond Overlap Metrics: Rewarding Reasoning and Preferences for Faithful Multi-Role Dialogue Summarization cs.CL · 2026 · author #4
5. SegSEM: Enabling and Enhancing SAM2 for SEM Contour Extraction cs.AR · 2026 · author #2
6. IC3-Evolve: Proof-/Witness-Gated Offline LLM-Driven Heuristic Evolution for IC3 Hardware Model Checking cs.AI · 2026 · author #2

Mentions

No mention provenance yet.

Frequent Coauthors

• Hongce Zhang 4 shared papers
• Da Chen 2 shared papers
• Wei Zhang 2 shared papers
• XiangYu Wen 2 shared papers
• Xiaofeng Zhou 2 shared papers
• Chao Duan 1 shared papers
• Fudan Zheng 1 shared papers
• Jingren Wang 1 shared papers
• Kaichao Liang 1 shared papers
• Kaihong Xu 1 shared papers
• Linfeng Du 1 shared papers
• Mingkai Miao 1 shared papers
• Mingxuan Yuan 1 shared papers
• Mingyan Zhang 1 shared papers
• Sharad Sinha 1 shared papers
• Shiju Lin 1 shared papers
• Songjiang Li 1 shared papers
• Tingting Zuo 1 shared papers
• Wei Yang 1 shared papers
• Xiaoyong Mei 1 shared papers