update readme with citation and arxiv

README.md

@@ -8,7 +8,17 @@ sdk_version: 5.20.0
 app_file: app.py
 pinned: false
 license: mit
-short_description: Circuit Transformer for Size Minimization
+short_description: Circuit Transformer for Size Minimization of Logic Circuits
 ---
 
-Check out the configuration reference at https://huggingface.co/docs/hub/spaces-config-reference
+This is a demo of the ICLR 2025 paper ["Circuit Transformer: A Transformer That Preserves Logical Equivalence"](https://arxiv.org/abs/2403.13838)
+
+```
+@inproceedings{li2025circuit,
+    title={Circuit Transformer: A Transformer That Preserves Logical Equivalence},
+    author={Xihan Li and Xing Li and Lei Chen and Xing Zhang and Mingxuan Yuan and Jun Wang},
+    booktitle={The Thirteenth International Conference on Learning Representations},
+    year={2025},
+    url={https://openreview.net/forum?id=kpnW12Lm9p}
+}
+```