Wenchao Ding

According to our database, Wenchao Ding authored at least 5 papers between 2025 and 2026.

Collaborative distances:

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

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, Feng Gu, Zhiteng Chao, Jianan Mu, Kan Shi, Tiancheng Wang, Huawei Li

CoRR, April, 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, Jing Ye, Tiancheng Wang, Huawei Li

CoRR, February, 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, Yunlin Du, Jing Ye, Tiancheng Wang, Huawei Li

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

Seeing Is Believing: Grounding Long-Video Understanding in Spatio-Temporal Visual Evidence.

Zhaoyang Wei, Guoliang Wang, Guohua Gao, Yanchao Hao, Mingda Li, Wenchao Ding, Xi Chen, Shizhu He, Xuehui Yu

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

Guiding the Inner Eye: A Framework for Hierarchical and Flexible Visual Grounded Reasoning.

Zhaoyang Wei, Wenchao Ding, Yanchao Hao, Xi Chen

CoRR, November, 2025