@misc{indiciae1ab3144a3c1a,
  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},
  url = {https://arxiv.org/abs/2509.20534},
  note = {Source identifier: 2509.20534}
}