TY  - RPRT
TI  - Efficient Symbolic Computation via Hash Consing
AU  - Bowen Zhu
AU  - Aayush Sabharwal
AU  - Songchen Tan
AU  - Yingbo Ma
AU  - Alan Edelman
AU  - Christopher Rackauckas
PY  - 2025
UR  - https://arxiv.org/abs/2509.20534
ID  - 2509.20534
ER  -