Update README.md

README.md

@@ -40,3 +40,17 @@ We present a fine-tuned model for formal verification tasks. It is fine-tuned in
   <img width=60%" src="figures/data-prepare.png">
 </p>
 
+
+## Citation
+```
+@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},
+      year={2025},
+      eprint={2501.16207},
+      archivePrefix={arXiv},
+      primaryClass={cs.AI},
+      url={https://arxiv.org/abs/2501.16207}, 
+}
+
+```