From 8df94213eb3bade9093167cb9edc280e5e0f3787 Mon Sep 17 00:00:00 2001
From: Hanjiang Hu <hanjianh@cs.cmu.edu>
Date: Wed, 13 Nov 2024 17:33:13 -0500
Subject: [PATCH] Update README.md

---
 README.md | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/README.md b/README.md
index 467f04d..2986106 100644
--- a/README.md
+++ b/README.md
@@ -135,4 +135,10 @@ Please consider citing this toolbox if it is useful for your research.
   howpublished = {\url{https://github.com/intelligent-control-lab/ModelVerification.jl}},
   year = {2024}
 }
+@article{wei2024modelverification,
+  title={Modelverification. jl: a comprehensive toolbox for formally verifying deep neural networks},
+  author={Wei, Tianhao and Marzari, Luca and Yun, Kai S and Hu, Hanjiang and Niu, Peizhi and Luo, Xusheng and Liu, Changliu},
+  journal={arXiv preprint arXiv:2407.01639},
+  year={2024}
+}
 ```