Guiding the Inner Eye: A Framework for Hierarchical and Flexible Visual Grounded Reasoning. - Zhaoyang Wei; Wenchao Ding 007; Yanchao Hao; Xi Chen (CoRR, 2025)

Seeing Is Believing: Grounding Long-Video Understanding in Spatio-Temporal Visual Evidence. - Zhaoyang Wei; Guoliang Wang; Guohua Gao; Yanchao Hao; Mingda Li; Wenchao Ding 007; Xi Chen; Shizhu He; Xuehui Yu (AAAI, 2026)

CoverAssert: Iterative LLM Assertion Generation Driven by Functional Coverage via Syntax-Semantic Representations. - Yonghao Wang; Yang Yin; Hongqin Lyu; Jiaxin Zhou; Zhiteng Chao; Mingyu Shi; Wenchao Ding 007; Yunlin Du; Jing Ye 001; Tiancheng Wang; Huawei Li 001 (DATE, 2026)

Iterative LLM-Based Assertion Generation Using Syntax-Semantic Representations for Functional Coverage-Guided Verification. - Yonghao Wang; Jiaxin Zhou; Yang Yin; Hongqin Lyu; Zhiteng Chao; Wenchao Ding 007; Jing Ye 001; Tiancheng Wang; Huawei Li 001 (CoRR, 2026)

From Indiscriminate to Targeted: Efficient RTL Verification via Functionally Key Signal-Driven LLM Assertion Generation. - Yonghao Wang; Hongqin Lyu; Boling Chen; MinYang Bao; Wenchao Ding 007; Feng Gu; Zhiteng Chao; Jianan Mu; Kan Shi; Tiancheng Wang; Huawei Li 001 (CoRR, 2026)