Hongqin Lyu

Identifiers

• name variant Hongqin Lyu 0.60 · backfill

Papers (4)

1. Arcane: An Assertion Reduction Framework through Semantic Clustering and MCTS-Guided Rule Exploring cs.AI · 2026 · author #1
2. From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation cs.AR · 2026 · author #2
3. CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations cs.AR · 2026 · author #3
4. MacLight: Multi-scene Aggregation Convolutional Learning for Traffic Signal Control cs.MA · 2024 · author #2

Mentions

• 2412.15703 #2 · arxiv_oai · confidence 0.70 Hongqin Lyu

Frequent Coauthors

• Huawei Li 3 shared papers
• Tiancheng Wang 3 shared papers
• Yonghao Wang 3 shared papers
• Zhiteng Chao 3 shared papers
• Wenchao Ding 2 shared papers
• Boling Chen 1 shared papers
• Chao Deng 1 shared papers
• Feng Gu 1 shared papers
• Jianan Mu 1 shared papers
• Jiaxin Zhou 1 shared papers
• Jing Ye 1 shared papers
• Kan Shi 1 shared papers
• Mingyu Shi 1 shared papers
• MinYang Bao 1 shared papers
• Sunbowen Lee 1 shared papers
• Yang Yin 1 shared papers
• Yicheng Gong 1 shared papers
• Yingying Sun 1 shared papers
• Yunlin Du 1 shared papers