Test-Input Generation for Tensor Programs: What Actually Finds Kernel Bugs

Dipankar Sarkar

Test-input generation for tensor kernels is folkloric. Most projects pick a representative shape and dtype, run a fixed-shape allclose-style check, and ship. We make the choices ex…