Update README.md

README.md

@@ -46,3 +46,15 @@ tokenizer/
     special_tokens_map.json
 ```
 
+## Citation
+```bibtex
+@misc{zhang2025booleansatisfiabilityimitationlearning,
+      title={Boolean Satisfiability via Imitation Learning}, 
+      author={Zewei Zhang and Huan Liu and Yuanhao Yu and Jun Chen and Xiangyu Xu},
+      year={2025},
+      eprint={2509.25411},
+      archivePrefix={arXiv},
+      primaryClass={cs.AI},
+      url={https://arxiv.org/abs/2509.25411}, 
+}
+```