Mengnv Xing

According to our database, Mengnv Xing authored at least 3 papers between 2025 and 2026.

Collaborative distances:

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

2026

ChatTest: Coverage-Enhanced Testbench Generation for Agile Hardware Verification with LLMs.

Gwok-Waa Wan, Shengchu Su, Jingyi Zhang, Sam-Zaak Wong, Mengnv Xing, Lei Ji, Zhe Jiang, Xi Wang, Jun Yang

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

FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification.

Gwok-Waa Wan, SamZaak Wong, Shengchu Su, Chenxu Niu, Ning Wang, Xinlai Wan, Qixiang Chen, Mengnv Xing, Jingyi Zhang, Jianmin Ye, Yubo Wang, Rongchang Song, Tao Ni, Qiang Xu, Nan Guan, Zhe Jiang, Xi Wang, Yong Chen, Jun Yang

Proceedings of the Fortieth AAAI Conference on Artificial Intelligence, 2026

2025

FIXME: Towards End-to-End Benchmarking of LLM-Aided Design Verification.

Gwok-Waa Wan, Shengchu Su, Ruihu Wang, Qixiang Chen, Sam-Zaak Wong, Mengnv Xing, Hefei Feng, Yubo Wang, Yinan Zhu, Jingyi Zhang, Jianmin Ye, Xinlai Wan, Tao Ni, Qiang Xu, Nan Guan, Zhe Jiang, Xi Wang, Yang Jun

CoRR, July, 2025