1 citations · 6 across the 8 of their papers we have counts for
Showing 2022Show all
2 papers · 1 filter
cs.PL2022★ 1 cited
Gradual Tensor Shape Checking
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…
cs.PL2022★ 1 cited
Automatic HFL(Z) Validity Checking for Program Verification
Naoki Kobayashi, Kento Tanahashi, Ryosuke Sato +1
We propose an automated method for checking the validity of a formula of HFL(Z), a higher-order logic with fixpoint operators and integers. Combined with Kobayashi et al.'s reducti…