Racer: Hunting GPU Kernel Bugs with Symbolic Equivalence Checking.

arXiv:2610.28429v1 Announce Type: cross Abstract: GPU kernels are critical to the performance of today's AI services, yet the same operators are rewritten repeatedly: for each GPU generation, numeric format, serving regime, and kernel language. Every rewrite m