TY - RPRT TI - Gradual Tensor Shape Checking AU - Momoko Hattori AU - Naoki Kobayashi AU - Ryosuke Sato PY - 2023 UR - https://arxiv.org/abs/2203.08402 ID - 2203.08402 ER -