1 citations · 1 across the 1 of their papers we have counts for
1 paper
Momoko Hattori, Naoki Kobayashi, Ryosuke Sato
Tensor shape mismatch is a common source of bugs in deep learning programs. We propose a new type-based approach to detect tensor shape mismatches. One of the main features of our…