Meiziniu Li

According to our database, Meiziniu Li authored at least 10 papers between 2020 and 2025.

Collaborative distances:

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

2025

A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair.

Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung

Autom. Softw. Eng., June, 2025

From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.

Jialun Cao, Yaojie Lu, Meiziniu Li, Haoyang Ma, Haokun Li, Mengda He, Cheng Wen, Le Sun, Hongyu Zhang, Shengchao Qin, Shing-Chi Cheung, Cong Tian

Proceedings of the 63rd Annual Meeting of the Association for Computational Linguistics (Volume 1: Long Papers), 2025

2024

DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis.

Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung

CoRR, 2024

Can LLMs Implicitly Learn Numeric Parameter Constraints in Data Science APIs?

Yinlin Deng, Chunqiu Steven Xia, Zhezhen Cao, Meiziniu Li, Lingming Zhang

Proceedings of the Advances in Neural Information Processing Systems 38: Annual Conference on Neural Information Processing Systems 2024, 2024

2023

COMET: Coverage-guided Model Generation For Deep Learning Library Testing.

Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung

ACM Trans. Softw. Eng. Methodol., September, 2023

2022

SemMT: A Semantic-Based Testing Approach for Machine Translation Systems.

Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen

ACM Trans. Softw. Eng. Methodol., 2022

MEMO: Coverage-guided Model Generation For Deep Learning Library Testing.

Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung

CoRR, 2022

DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.

Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung

Proceedings of the 44th IEEE/ACM 44th International Conference on Software Engineering, 2022

Facilitating Continuous Text Messaging in Online Romantic Encounters by Expanded Keywords Enumeration.

Taewook Kim, Qingyu Guo, Hyeonjae Kim, Wenjie Yang, Meiziniu Li, Xiaojuan Ma

Proceedings of the Companion Computer Supported Cooperative Work and Social Computing, 2022

2020

SemMT: A Semantic-based Testing Approach for Machine Translation Systems.

Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung

CoRR, 2020