Meiziniu Li

14 papers A* 2Journal 10Unranked 2
YearRankTypeTitle / Venue / Authors
2026 J jnl
Enhancing Differential Testing with LLMs for Testing Deep Learning Libraries.
ACM Trans. Softw. Eng. Methodol.
Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung
2025 J jnl
A study on prompt design, advantages and limitations of ChatGPT for deep learning program repair.
Autom. Softw. Eng.
Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung
2025 — conf
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
ACL (1)
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
2025 J jnl
From Informal to Formal - Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs.
CoRR
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
2024 A* conf
Can LLMs Implicitly Learn Numeric Parameter Constraints in Data Science APIs?
NeurIPS
Yinlin Deng, Chunqiu Steven Xia, Zhezhen Cao, Meiziniu Li, Lingming Zhang
2024 J jnl
DLLens: Testing Deep Learning Libraries via LLM-aided Synthesis.
CoRR
Meiziniu Li, Dongze Li, Jianmeng Liu, Jialun Cao, Yongqiang Tian, Shing-Chi Cheung
2023 J jnl
A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair.
CoRR
Jialun Cao, Meiziniu Li, Ming Wen, Shing-Chi Cheung
2023 J jnl
COMET: Coverage-guided Model Generation For Deep Learning Library Testing.
ACM Trans. Softw. Eng. Methodol.
Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung
2022 A* conf
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
ICSE
Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung
2022 J jnl
DeepFD: Automated Fault Diagnosis and Localization for Deep Learning Programs.
CoRR
Jialun Cao, Meiziniu Li, Xiao Chen, Ming Wen, Yongqiang Tian, Bo Wu, Shing-Chi Cheung
2022 — conf
Facilitating Continuous Text Messaging in Online Romantic Encounters by Expanded Keywords Enumeration.
CSCW Companion
Taewook Kim, Qingyu Guo, Hyeonjae Kim, Wenjie Yang, Meiziniu Li, Xiaojuan Ma
2022 J jnl
MEMO: Coverage-guided Model Generation For Deep Learning Library Testing.
CoRR
Meiziniu Li, Jialun Cao, Yongqiang Tian, Tsz On Li, Ming Wen, Shing-Chi Cheung
2022 J jnl
SemMT: A Semantic-Based Testing Approach for Machine Translation Systems.
ACM Trans. Softw. Eng. Methodol.
Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung, Haiming Chen
2020 J jnl
SemMT: A Semantic-based Testing Approach for Machine Translation Systems.
CoRR
Jialun Cao, Meiziniu Li, Yeting Li, Ming Wen, Shing-Chi Cheung