TY - RPRT TI - Bisimulations for Neural Network Reduction AU - Pavithra Prabhakar PY - 2021 UR - https://arxiv.org/abs/2110.03726 ID - 2110.03726 ER -