Update README.md

README.md

@@ -49,7 +49,7 @@ We present a fine-tuned model for formal verification tasks. It is fine-tuned in
 ```
 @misc{fmbench25jialun,
       title={From Informal to Formal--Incorporating and Evaluating LLMs on Natural Language Requirements to Verifiable Formal Proofs}, 
-      author={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},
+      author={Jialun Cao and Yaojie Lu and Meiziniu Li and Haoyang Ma and Haokun Li and Mengda He and Cheng Wen and Le Sun and Hongyu Zhang and Shengchao Qin and Shing-Chi Cheung and Cong Tian},
       year={2025},
       eprint={2501.16207},
       archivePrefix={arXiv},