TY - RPRT TI - Efficiently-Verifiable Strong Uniquely Solvable Puzzles and Matrix Multiplication AU - Matthew Anderson AU - Vu Le PY - 2023 UR - https://arxiv.org/abs/2307.06463 ID - 2307.06463 ER -