RESOLVE: Language-Agnostic Validation of GPU Kernels Through Testing, Reduction, and Proof

Ashkan Vedadi Gargary, Guido Martínez, Sebastian Burckhardt +4

AI systems can now write and optimize production GPU kernels, but validating them remains an important challenge. Evaluating the kernel on a few random inputs and checking that its…