Meiziniu Li

1. From Informal to Formal -- Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs
   2025/01/27 by Jialun Cao, Cao, Jialun, Yaojie Lu +21 · 12 citations
   Computer Science · #Natural Language Processing Techniques
2. Demystifying the Silence of Correctness Bugs in PyTorch Compiler
   2026/04/09 by Meiziniu Li, Dongze Li, Jianmeng Liu +1 · 1 voice
   Computer Science · #cs.SE #cs.AI