Jianmin Ye

According to our database, Jianmin Ye authored at least 5 papers between 2024 and 2026.

Collaborative distances:

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

2026

RefEvo: Agentic Design with Co-Evolutionary Verification for Agile Reference Model Generation.

Yifan Zhang, Jianmin Ye, Jiahao Yang, Xi Wang

CoRR, April, 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

ChatModel: Automating Reference Model Design and Verification with LLMs.

Jianmin Ye, Tianyang Liu, Qi Tian, Shengchu Su, Zhe Jiang, Xi Wang

CoRR, June, 2025

2024

ChatCPU: An Agile CPU Design and Verification Platform with LLM.

Xi Wang, Gwok-Waa Wan, Sam-Zaak Wong, Layton Zhang, Tianyang Liu, Qi Tian, Jianmin Ye

Proceedings of the 61st ACM/IEEE Design Automation Conference, 2024