From a674da2c7b0dcf3db99095cf047f7f52d4107dfd Mon Sep 17 00:00:00 2001
From: "Bowen S. Zhu" <bowenzhu@mit.edu>
Date: Sun, 28 Sep 2025 22:32:26 -0400
Subject: [PATCH] docs: add citation for hash consing improvements

Include citation for "Efficient Symbolic Computation via Hash Consing"
(arXiv:2509.20534) documenting the hash consing optimizations
implemented in SymbolicUtils.jl [skip ci]
---
 CITATION.bib | 13 +++++++++++++
 1 file changed, 13 insertions(+)
 create mode 100644 CITATION.bib

diff --git a/CITATION.bib b/CITATION.bib
new file mode 100644
index 00000000..f1210ada
--- /dev/null
+++ b/CITATION.bib
@@ -0,0 +1,13 @@
+Hash Consing Optimization: SymbolicUtils.jl now uses hash consing to eliminate duplicate 
+symbolic expressions in memory and enable faster equality comparisons. This optimization 
+significantly improves performance for complex symbolic computations by reducing memory 
+overhead and computation time. Available starting from v3.28.0.
+@misc{zhu2025efficientsymboliccomputationhash,
+    title={Efficient Symbolic Computation via Hash Consing}, 
+    author={Bowen Zhu and Aayush Sabharwal and Songchen Tan and Yingbo Ma and Alan Edelman and Christopher Rackauckas},
+    year={2025},
+    eprint={2509.20534},
+    archivePrefix={arXiv},
+    primaryClass={cs.PL},
+    url={https://arxiv.org/abs/2509.20534}, 
+}