Li, Meiziniu

1. From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
   2025/01/27 by Jialun Cao, Yaojie Lu, Cao, Jialun +21 · 12 citations
   Computer Science · #Natural Language Processing Techniques
2. A study on Prompt Design, Advantages and Limitations of ChatGPT for Deep Learning Program Repair
   2023/04/17 by Cao, Jialun, Li, Meiziniu, Wen, Ming +1 · 5 citations
   #FOS: Computer and information sciences #Software Engineering (cs.SE)