TY - RPRT TI - An Empirical Evaluation of AriDeM using Matrix Multiplication AU - Patrick Mukala PY - 2023 UR - https://arxiv.org/abs/2308.00661 ID - 2308.00661 ER -