@misc{indiciaebedcebc8d5fb,
  title = {Gradual Tensor Shape Checking},
  author = {Momoko Hattori and Naoki Kobayashi and Ryosuke Sato},
  year = {2023},
  url = {https://arxiv.org/abs/2203.08402},
  note = {Source identifier: 2203.08402}
}